+ [10 years ago] lethosor actually, "/path/*" and "!/path/*.min.*" should work
+ [10 years ago] Palmer11 ok. thanks. I just wasn’t sure on the *.min.* part
+ [10 years ago] rockfruit if I rename a repo, github kindly redirects all request for the old URLs to the new. are these redirects forever?
+ [10 years ago] lethosor rockfruit: I think so, unless you create a new repo with the old name

message no. 95171

Posted by eskp in #github at 2015-05-28T02:48:02Z

i'd like to mirror a github repo to a stash repo updating on each receive. ideas?
+ [10 years ago] xiphiaz hey what is github's standpoint on username squatting?
+ [10 years ago] isifreek xiphiaz: on more than one?
+ [10 years ago] xiphiaz no well I would like to create an organisation at https://github.com/spira but there exists an account that has had no activity at all in 5 years. If possible I would like to be able to claim that name
+ [10 years ago] isifreek xiphiaz: oh, uuuhh interesting Q... i guess all you can do is ask.
+ [10 years ago] isifreek i suspect that will be theirs indefinitely