+ [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. 165358

Posted by elnuno in #github at 2017-03-12T09:08:15Z

lorenzo: ISTM it'll download (and upload) the assets when/if you need it. And if you don't need to tinker with them (say, a quick clone to show code to someone) you can skip downloading them
+ [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