+[9 years ago]Zarthusfrom the sounds of it it is a setting in ~/.gitconfig +[9 years ago]ZarthusI wouldn't know which one though. +[9 years ago]jeffreylevesqueanyone here using coverall? +[9 years ago]jeffreylevesquetrying to add a badge to my github account +[9 years ago]danielinuxZarthus: thank you, I wrote to support
message no. 150548
Posted by brabo in #github at 2016-09-15T12:56:56Z
why is the irc service going out the window? there is no integration for irc?
+[9 years ago]Koopzanyone 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 +[9 years ago]Koopzinspecting 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 +[9 years ago]MilosWith 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 +[9 years ago]Milosthis 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 +[9 years ago]Milosdoes anyone know how to make reviews hide after they are no longer relevant?