Fetch the code and create a new branch pointing to it
git fetch http://lab.jerasure.org/Nyan/gf-complete.git manual
git checkout -b Nyan/gf-complete-manual FETCH_HEAD
Merge the branch and push the changes to GitLab
git checkout master
git merge --no-ff Nyan/gf-complete-manual
git push origin master
Fixes to HTML manual, for mistakes I've noticed.
I'm sure there's more, but this is a start...
Reassigned to @dachary
mentioned in commit 8fe7382e2a1f7763be8b12db283cc1570eb64518