Minor improvements of github commands