Skip to content

BCDH/lexica-latina

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

23 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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 > Merge into current branch > Upstream/master
    This will now, in addition, update your fork with all the contributions that have been merged into the original repo from other forks. Remember, each contributor works in their own fork.
  4. If GitHub Desktop instructs you to push origin, push origin.
    This will make sure that the changes from the original repo, which you've just added to your local master branch in the previous step, will also make it to your remote master branch. With your local and remote branches 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 local branch.
  7. Push origin.
    This will save your work to your remote branch.
  8. Create a pull request.
    This will alert the repository admin person that there are changes in your fork that should be merged into the original repository.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published