Suppose you have an Overleaf project https://www.overleaf.com/project/5ce5fb7abb7ad36e4a0f60bf. Overleaf will also provide you a link https://git.overleaf.com/5ce5fb7abb7ad36e4a0f60bf for using with
Create a Github repository called, say
paper, at the address, say
Overleaf may asks you to input your Overleaf’s username and password. To enable credentials storage in
git config --global credential.helper store. For convenience, I want to rename the
origin endpoint to
git remote rename origin overleaf. Then, when pushing and pulling Overleaf’s project, I can simply use
git push -u overleaf master and
git pull overleaf master.
I also created a
Makefile but do not want to put it in the repository. A simple way is to create
.gitignore file and put the name
Makefile in that file. An example of a
Makefile I created may be as follows.