Skip to content

Latest commit

 

History

History
48 lines (38 loc) · 2.61 KB

README.md

File metadata and controls

48 lines (38 loc) · 2.61 KB
Raw

Lexica Latina

GitHub Workflow

Setting up Lexica Latina on your computer

  1. Install GitHub Desktop on your computer
  2. Open GitHub Desktop
  3. Sign in with your GitHub credentials
  4. Go to https://github.com/BCDH/lexica-latina
  5. Fork the repository
  6. In the forked repository, click on "Clone or download" then select "Open in Desktop"
  7. In GitHub Desktop choose where you want to save the Lexica Latina clone on your computer

Contributing to Lexica Latina

First-time contribution

  1. Locate your working copy.
    Go to the folder where you cloned your fork.
  2. Do your work.
  3. Commit your work.
    This will save your initial work to your local working copy.
  4. Push your work. This will save your intial work to your fork remotely.
  5. Create a pull request.
    This will alert the repository admin person that there are changes that should be merged into the original repository.

Subsequent contributions

Before you make your next contribution, you have to make sure that your local branch is up to date and in sync with the original repo. Remember, you made a fork off of the original repo at some point, but other people may have contributed to it in the meantime. So it's very important that you follow this procedure every time you start doing work on your branch again.

  1. In GitHub Desktop, in your local working copy, fetch origin.
    This will check whether there were any changes made to your fork remotely (i.e. if you committed and pushed some stuff to your fork from a different computer)
  2. If GitHub Desktop instructs you to pull origin, pull origin.
    This will make sure that your local and your remote files are in sync.
  3. Branch > Update from master
    This will now, in addition, update your local branch with all the contributions that have meanwhile been merged into the master from the other branches. Remember, each contributor works in their own branch.
  4. If GitHub Desktop instructs you to push origin, push origin.
    This will make sure that the changes from the master branch, which you've added to your local branch in the previous step, will also make it to your remote branch. With your local and remote branch fully updated and sync you can finally get to do your work.
  5. Do your work.
  6. Commit your work.
    This will save your work to your branch locally.
  7. Push origin.
    This will save your work to your branch remotely.
  8. Create a pull request.
    This will alert the repository admin person that there are changes that should be merged into the master branch, i.e. made public.