Правки истории GitHub

[spamsink]

Я слил все свои недавние чекины, связанные с перфокартами и перфолентами (и исправил концы строк в одном из файлов, потерявшиеся из-за редактирования в онлайн-редакторе).
Так как я делал git push --force, то делайте не git pull, а git fetch; git rebase origin/master.