A suggestion for dub

[Sebastiaan Koppe via Digitalmars-d]

On Monday, 29 February 2016 at 10:07:56 UTC, Sönke Ludwig wrote:
> We will at some point have to implement the use of push 
> notifications for changes, but that requires some work 
> (supporting GitHub-OAuth and implementing the push endpoint) 
> and it requires the repositories to be re-registered with OAuth.

Does code.dlang.org have a public repo? I could help out with 
some impl. details.

> BTW, there is a "Trigger manual update" button on the package 
> management page. If you are the owner, you can usually get 
> instant updates that way.

My experience with that button has been mixed.