comment and improve docs

This commit is contained in:
Joey Hess 2023-04-19 12:20:26 -04:00
parent 43271632af
commit cf85d54a2f
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
2 changed files with 13 additions and 0 deletions

View file

@ -0,0 +1,10 @@
[[!comment format=mdwn
username="joey"
subject="""Re: Sync to remote master?"""
date="2023-04-19T16:17:11Z"
content="""
The push to remote master will typically fail in a non-bare repository
(it is possible to configure one to allow it). The push to synced/master
will then succeed. Then when sync is later run in that repository, it will
merge synced/master into master.
"""]]