Just checking; one way to remove it is by using the GitHub releases feature to generate an archive with the autogenerated files in it.  This isn't a blocker to merging though.  (incidentally, I've added Releases to the GitHub bindings, but not written the script to run oasis setup before release yet).