Some files reappearing in dlang repo that should be dead (or: stop pushing upstream)

[Daniel Murphy]

"Vladimir Panteleev"  wrote in message 
news:unhchiuzxwoniwuaqhsv at forum.dlang.org...
> > I didn't even know this was a feature, can you elaborate how to do this?
>
> I think a trivial way to do that is to change the protocol to git://, as 
> you can only pull over it.
>
> It looks like you can also override the push URL, and if it is set to an 
> invalid value, you'll effectively disable pushing to that remote:
>
> http://stackoverflow.com/questions/10270027/can-i-mark-a-git-remote-as-read-only

Yeah, not exactly a git feature, but it works.