Wondering what the deal is with github not recording my push