improve the push_to_github function