{"shas":[["4534bc5496fdacc4bb99cfab392970e056babd18","e6427457497fe0f4f93a7334d2203b8e17ee82df@christianhaudum.at","allow --settings option with runtornado command","Christian Haudum"]],"ref":"refs/heads/master","size":1,"head":"4534bc5496fdacc4bb99cfab392970e056babd18","push_id":33636275}