As a remark for the future: do not generate the README file and push it to GIT repository for exiting modules. The README is generated on server to get a coherent formatting. You can do it locally to check that changes to the docbook xml files are ok, then revert README before making the commit/pull request. You can use:

# generate readme locally
make modules-readme modules=src/modules/mymodules
# see the diffs of the readme
git diff src/modules/mymodule/README
# if all ok, revert it - system remove and git check out
rm src/modules/mymodule/README
git checkout src/modules/mymodule/README
# commit the changes and push 
git commit src/modules/mymodule/
git push origin master:master

For this PR I can merge manually, but for the future it is easier to have the PR without the patch to README>

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.