fix github error handling
obsolete and misplaced comment