Posted Mar 9, 2012 18:55 UTC (Fri) by dlang (✭ supporter ✭, #313)
In reply to: Not a big deal by job
Parent article: Github compromised
unless you have multiple people pushing updates without much coordination with each other, it doesn't matter how the changes happen to the repo, the maintainer of that repo will be notified that it's not in the expected state the next time he tries to do a push to that repo.