diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2021-03-29 21:31:58 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2021-03-29 21:31:58 +0300 |
| commit | 0ab1f26154aa24b1a4cc6c6cc8ecfeb63db1c555 (patch) | |
| tree | acca044177633b9109b868194c10d9e9742f540c | |
| parent | .ci/local: add more tests (diff) | |
| download | cgitize-0ab1f26154aa24b1a4cc6c6cc8ecfeb63db1c555.tar.gz cgitize-0ab1f26154aa24b1a4cc6c6cc8ecfeb63db1c555.zip | |
add a helpful comment
| -rw-r--r-- | cgitize/cgit.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cgitize/cgit.py b/cgitize/cgit.py index 712bc55..c0c979d 100644 --- a/cgitize/cgit.py +++ b/cgitize/cgit.py @@ -159,6 +159,8 @@ class Output: with setup_git_auth(repo): if not Git.check('remote', 'update', '--prune'): return False + # In case the repository mirror is not a bare repository, but a + # proper workdir: if Git.check('rev-parse', '--verify', '--quiet', 'origin/master'): return Git.check('reset', '--soft', 'origin/master') return True |