+ [2017-03-12T20:50:37Z] Jan2 anyone here ?
+ [2017-03-12T23:25:11Z] J_128 Hi, just a quick question: I feel like an idiot, but how do i remove a repository?
+ [2017-03-12T23:27:02Z] lemonlake go into settings, scroll down to danger zone, click delete
+ [2017-03-12T23:36:08Z] J_128 lemonlake: Okay, Thanks! Bye!

message no. 165362

Posted by elnuno in #github at 2017-03-12T09:14:11Z

lorenzo: but it seems it would work like you said for users that don't have the extension -> https://help.github.com/articles/collaboration-with-git-large-file-storage/
+ [2017-03-13T08:40:25Z] RxMcDonald hello, is there a way to check permissions for a file from github?
+ [2017-03-13T08:45:44Z] tobiasvl RxMcDonald: git does not track permissions – except +x, which you can see by opening the file; it will say "Executable file" in the top left of the file
+ [2017-03-13T08:55:10Z] RxMcDonald tobiasvl: then why it's showing diff for 644 -> 755 in all the files I changed it?
+ [2017-03-13T08:55:34Z] Seveas that's the executable bit
+ [2017-03-13T08:55:43Z] Seveas well, bits