4 ms·
That sounds cool, but I wonder if there would be a problem if the repo hit anything close to a critical mass where several people were editing forked repos at o
by Roodgorf 11y ago
That sounds cool, but I wonder if there would be a problem if the repo hit anything close to a critical mass where several people were editing forked repos at once and submitting pull requests. I imagine it would be pretty frustrating to go through the process and make some changes only to find out that your original revision is now too outdated for the bot to merge.