Get the GitHub old header by installing this Chrome extensionchrome.google.com2 points·ionicabizau··0 commentsOpen articleSaveView on HN