[OH-Dev] pull request linting service

[Justin Abrahms]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hello openhatchers.

A few months ago someone mentioned[0] a desire to have a bot which
provides automated style feedback. I've written a library that does just
that, and would be interested in setting up the necessary infrastructure
to have it automatically run for you guys.

What I think that looks like is deploying a small web service which
listens for pings from github repositories and, upon receipt, sends off
a queue job for linting. The linting would be handled by imhotep[1],
which has plugins for half a dozen linters across a few languages.

Questions I have:

1. Is this still something openhatch is interested in?

2. Based on the PR, it sounds like you have server infrastructure
already. Are there docs on that? Could I theoretically deploy a service
there? The requirements would be the ability to run a small web service,
a queue, possibly a database, and python. I could also possibly
structure it as a free heroku web server and a queue worker living on a
different box. (I don't think there's a free worker queue?)

I'd love to hear your thoughts, concerns or enthusiasm!
 -justin

[0]: https://github.com/openhatch/oh-mainline/issues/1245
[1]: https://github.com/justinabrahms/imhotep/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQIcBAEBAgAGBQJUEH8rAAoJEDIOR8l5WtDW4voQAIJLWNnR2R6/yvxmhSOQUJZQ
LXpk0R7jBwBx1wwB8RyXkblWjbqswwMMshgng104zXAevI+B4dA+SCuDXhV/kG9N
UK54n0DJw8RFj69oirqyT/TSQAqGVL15Td+YjA2Fqdv8mnFPs9Q6FBFxZooZevP+
5w0/W5w5EROBztxixW9tG6hcChUc+ndnYvTwSBQrXwFH0GgNW87lE0rgMYw+fetL
i5Avf9W5Wmq8xslztCpVDvImY76jLusWx0CBT+uHNWAT25J7QJNT3IkMDmjfpOYo
lbhoRB76Hk7lPk0tmiKnl4Cz7TZOn6Jqv7vLkLSLwN2eVpbQTfXZFuGToBYlgcml
YiTSkkR3CIbFJxsSM/kqr5e3shfipYIP8tI8zTf3V3umDEPPdUQmBgj4/IXfO2O3
hZ7rQdSOlzUDYriXCnvKHIL5P9+n4hPr8YSS6dQft8Vfix5JjABOXyU2l3fK6uvU
ibrzR6KcEGik2OwPyZEgoGGveaHqcTlC3Gdq1bZtKgAhGJ/fUQUhkbRxndUmSJ1a
8lucAbryZsUJONLstZflw1w+KI+Ln1kYpPdB1NZHiSdfVbTZD35YpZZo9UqS8j9L
CzVE/hL2WHJv+NnRhHWuwn3Js9tYKGdIad7l1tbYiDrGSv5AU/9Us65ay3g3z3x0
F2Pi9YWWuCHjoA25zVsD
=NvtH
-----END PGP SIGNATURE-----