'make clean' then 'make html' for the documentation. There are a lot of formatting errors that are present Also fixed some of the broken links. When pages are added and changed the person working on it should check the build errors
Add '-f' for 'git push' after changed the commit by 'git rebase' or 'git commit --amend'
How to add more change for a pull request How to resolve conflict for a pull request
