github fixes for pushing