PR machine broken?

[Paul Schmehl]

I submitted an update to x11-toolkits/iwidgets over the weekend.  I have 
still not received the obligatory bot response.  I'm also having no luck 
querying the PRs for anything I've submitted recently.

Is the PR machine broken?

Paul Schmehl (pauls at utdallas.edu)
Adjunct Information Security Officer
University of Texas at Dallas
AVIEN Founding Member
http://www.utdallas.edu/ir/security/