A bit of nit here, wouldn't this method (and file) be better named push_to_github? I'm concerned that external people are going to be confused here.