GitHub Nomic Game #3
All of these PRs would be allowed to merge, but then the file would only be created once, and if I merged pull requests I would expect to gain points. The key thing is that does not consider it a merge conflict if two different PRs create the same file with the same contents. I needed them to all have different hashes, and the easiest way to do this was to sleep at least a second each time, since timestamp goes into the hash calculation:
This took about fifteen minutes, and then I started pushing these to GitHub:
This was pretty slow, about four seconds per push.
Source: www.jefftk.com