Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add some notes about tracking the ``devel`` branch across releases. ``git pull --rebase`` seems to do the right thing. ``git pull`` may not. Users who have cloned the repository but who have not checked out the ``devel`` branch should not be affected. Tested with ``git 2.15.2``. Some users may already ``git pull --rebase`` as a default.
- Loading branch information