blob: 83cf455c2d7ba7c73a343cc94b77c02842ebd804 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
[user]
email = 23085769+hiddenalpha@users.noreply.github.com
name = Andreas Fankhauser hiddenalpha.ch
[merge]
ff = no
tool = meld
[pull]
ff = yes
[push]
default = simple
[log]
date = iso
[alias]
br = branch
bra = !git br && git br -r
co = checkout
d = diff
dc = diff --cached
dh = diff HEAD
detach = checkout --detach
l = log --graph --decorate --date-order
l1 = log --graph --decorate --date-order -n1
l2 = log --graph --decorate --date-order -n2
l3 = log --graph --decorate --date-order -n3
l4 = log --graph --decorate --date-order -n4
l5 = log --graph --decorate --date-order -n5
l6 = log --graph --decorate --date-order -n6
l7 = log --graph --decorate --date-order -n7
l8 = log --graph --decorate --date-order -n8
l9 = log --graph --decorate --date-order -n9
la = log --graph --decorate --date-order --all
mb = merge-base
#mbu = merge-base origin/develop
#rsmbuh = ! git reset --soft `git mbu HEAD`
s = status
rimraf = ! git clean -df && git reset --hard HEAD
delmerged = !git br -d $(find .git/refs/heads -type f|cut -c17-)
[color]
ui = always
# Helpful to get mouse scrollable diff in some terminals
#[core]
# pager = less -R -+X
# How to push to multiple remotes in one go:
# git push all --dry-run --all
# [remote "all"]
# pushurl = user@ONE.example.com:foo/bar.git
# pushurl = user@TWO.example.com:foo/bar.git
# How to fetch from multiple remotes (but NOT all!) in one go:
# git fetch --multiple origin upstream
|
