A funny contribution race between the developers of a GitHub project