diff options
| author | Ben Sima <ben@bsima.me> | 2022-11-15 11:48:51 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2022-11-15 11:48:51 -0500 |
| commit | 3beb3a8f334b7efa58fb8ca6aa5c8409325435df (patch) | |
| tree | e035415a017cd91bc4f4bfad45430320350292ff /profiles/groq.nix | |
| parent | 92521e0c88bf49eb5e1bd6c59c2d9eea32bac1be (diff) | |
organize and add some git configs
push.default and remote.pushDefault combine to make a better branch-directed
workflow by default:
https://stackoverflow.com/questions/45638858/how-to-set-up-branches-with-different-pull-push-upstreams
also set the default init branch to 'main' because its shorter than master
Change-Id: I424c3e897954ffe3a9c7b8e6d6c6a0033cb8067b
Diffstat (limited to 'profiles/groq.nix')
0 files changed, 0 insertions, 0 deletions