Contributing to master

Contributing to master

FStar master is locked and can only be changed through a pull request that passes continuous integration (CI) tests.

Here is the quickest way to push changes, e.g., for fixing typos in the tutorial.

git checkout -b <your-slack-alias>_<rest-of-branch-name>

Then use the usual git add, git commit, git push. This will trigger CI to be run.

Open your branch in github by clicking on branch:Master, click Pull requests, New pull request.

Creating the pull request will trigger CI to be run a second time. Once this run finished you can merge your branch with master and delete it, all through the github user interface.