Revision e796e6f401d6d7249aa6165e62354bcada3f732a authored by Mohammad Akhlaghi on 01 December 2020, 16:42:50 UTC, committed by Mohammad Akhlaghi on 01 December 2020, 16:47:31 UTC
Until now at the end of the updating process, we hadn't explicity talked
about pushing the branches. So people would usually only push their
'master' branch to their remote. While the merged 'master' branch does
contain the commits from the core Maneage branch, having a no-updated
'maneage' branch reference on their remote can be confusing.

With this commit, at the end of the process to merge with the 'maneage'
branch we explicitly recommend to push both the 'master' and 'maneage'
branches.
1 parent ac8eee9
History
File Mode Size
reproduce
tex
.dir-locals.el -rw-r--r-- 1.3 KB
.file-metadata -rw-r--r-- 9.0 KB
.gitignore -rw-r--r-- 994 bytes
COPYING -rw-r--r-- 34.3 KB
README-hacking.md -rw-r--r-- 90.9 KB
README.md -rw-r--r-- 18.8 KB
paper.tex -rw-r--r-- 14.2 KB
project -rwxr-xr-x 20.7 KB

README.md

back to top