How to update to a new Lua release

Switch to upstream branch
Replace doc/ src/ and Makefile with the new version
Commit and push
Switch to master branch
Merge and fix conflits
Commit and push
git tag {5.x.x}
git push {5.x.x}

You don't need to manually update luacore.h. It is automatically generated by the src/Makefile.