diff options
author | Andrew Cady <d@jerkface.net> | 2018-09-11 15:43:38 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2018-09-11 15:43:38 -0400 |
commit | 4fd20f7eb3579527fe88345439963f5859d00711 (patch) | |
tree | 596609437d67c9e84e7b13c1ac9d54139b7e54bb /dot | |
parent | 8a448e9321e29d6779f4f4b76bc4c10ebb6c620b (diff) |
git-push-clone: Set core.bare=false
If 'bare' is unset, git allows pushing into the checked out branch,
contrary to what I assumed.
Diffstat (limited to 'dot')
-rwxr-xr-x | dot/local/bin/git-push-clone | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dot/local/bin/git-push-clone b/dot/local/bin/git-push-clone index 06d045e..b83b27f 100755 --- a/dot/local/bin/git-push-clone +++ b/dot/local/bin/git-push-clone | |||
@@ -41,7 +41,7 @@ git_init_push_checkout() | |||
41 | 41 | ||
42 | if [ "$CHECKOUT_BRANCH" -a ! "$BARE" ]; then | 42 | if [ "$CHECKOUT_BRANCH" -a ! "$BARE" ]; then |
43 | (cd "$TEMP_DIR"; | 43 | (cd "$TEMP_DIR"; |
44 | git config --unset core.bare | 44 | git config core.bare false |
45 | git checkout "$CHECKOUT_BRANCH") | 45 | git checkout "$CHECKOUT_BRANCH") |
46 | fi | 46 | fi |
47 | } | 47 | } |