Sync github to some on-the-fly changes (oh god why)