gh: new script to ease interaction with github