+ [8 years ago] Jan2 anyone here ?
+ [8 years ago] J_128 Hi, just a quick question: I feel like an idiot, but how do i remove a repository?
+ [8 years ago] lemonlake go into settings, scroll down to danger zone, click delete
+ [8 years ago] 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
+ [8 years ago] RxMcDonald hello, is there a way to check permissions for a file from github?
+ [8 years ago] 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
+ [8 years ago] RxMcDonald tobiasvl: then why it's showing diff for 644 -> 755 in all the files I changed it?
+ [8 years ago] Seveas that's the executable bit
+ [8 years ago] Seveas well, bits