druckdev ec94e7ebdd git: Set push.default to current ...

Push current branch to branch of same name.
This is useful for new branches as I almost always push those with:
```
	git push -u origin "$(git branch --show-current)"
```

2021-07-07 12:02:27 +02:00

..

diff-so-fancy @ 19e55f6562

all: Update submodules

2020-11-03 00:21:46 +01:00

config

git: Set push.default to current

2021-07-07 12:02:27 +02:00

ignore

git:ignore: Add compile_flags.txt

2021-05-04 10:50:45 +02:00