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

Posted by lorenzo in #github at 2017-03-12T08:54:59Z

when I clone the repo back, do I get those assets back or just the S3 urls?
+ [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