Tutorial PR for review

If you need to get feedback in a convenient way using the GitHub infrastructure from other developers, you can open a pull-request in your own space (i.e. the mine remote). The advantage compared to having it in the cgal remote is that it will only notify people that subscribed to the notifications of your PR. Note that this will work only for public branches.

To do that go to you mine space (https://github.com/YOUR_GITHUB_ID/cgal/) and select the branch you want to get a review of (you must have already pushed it to your mine remote):

Then click on New pull request:

And select as base your remote (YOUR_GITHUB_ID/cgal):

After clicking on Create pull request, you can share the URL of the pull request with your reviewers and ask them to click on Subscribe to receive push and comment notifications: