moving push_to_github script