+ [2016-09-15T20:33:56Z] Zarthus from the sounds of it it is a setting in ~/.gitconfig
+ [2016-09-15T20:34:05Z] Zarthus I wouldn't know which one though.
+ [2016-09-15T22:11:59Z] jeffreylevesque trying to add a badge to my github account
+ [2016-09-15T23:01:05Z] danielinux Zarthus: thank you, I wrote to support

message no. 150565

Posted by brabo in #github at 2016-09-15T13:00:38Z

whereas i guess adding a couple checkboxes to the webpage would not be a huge effort :p
+ [2016-09-16T08:01:08Z] Koopz anyone else having issues with gist? i save the file with spaces and an indent size of 4 but it get's displayed as tabs with an indent size of 8
+ [2016-09-16T08:05:37Z] Koopz inspecting the data in POST i don't even see the values for the select elements... as a matter of fact they don't even have a name attribute
+ [2016-09-16T18:10:57Z] Milos With the new pull request review feature, when I push changes which reflect the changes requested by the review, the review comments are not hidden after I change the code like it used to
+ [2016-09-16T18:11:19Z] Milos this is very annoying because I have to go to the Files tab in order to see if I have any comments left that I missed
+ [2016-09-16T18:11:31Z] Milos does anyone know how to make reviews hide after they are no longer relevant?