Github pushing should really just do pushing. Adding remote is a different thing