The official GEOS code repository is:

Clone with: git clone


There are a few mirrors of the official repository available:


Merging a change

This is one possible workflow for merging a change. It assumes the developer has a fork of GEOS on their GitHub account.

This workflow is a fast one to allow checking the CI using GitHub Actions (which runs in the dev's GitHub repo). This may result in merge commits; rebasing might be a better idea.

git push devguy mybranch
... does it pass CI? ...
... yes! ...
git checkout main
git pull origin main
git merge --squash mybranch
git commit -m 'my new commit message'
git push origin main
Last modified 15 months ago Last modified on Nov 11, 2021, 12:29:57 AM
Note: See TracWiki for help on using the wiki.