{"shas":[["9b8f57e69449ddb7bde5a6f8941635e20b229e3a","696e3fbcf235d40b6ea1ebd61c87cbea79d444e7@peff.net","private: handle unknown options better\n\nThe current code goes into an infinite loop on an unknown\noption. Oops. Instead, report it to the user.\n\nWhile we're at it, factor out the \"shift\" from each\nindividual option.","Jeff King"]],"ref":"refs/heads/meta","size":1,"head":"9b8f57e69449ddb7bde5a6f8941635e20b229e3a","push_id":40985223}