[ghc-steering-committee] Set reminders on Github
Joachim Breitner
mail at joachim-breitner.de
Tue Aug 6 08:41:34 UTC 2019
Hi,
this is a bot, and I think bot is a euphemism for “Software without
documented interface”…
It has a homepage with three examples:
https://probot.github.io/apps/reminders/
and source at
https://github.com/probot/reminders
It seems to use this node module:
https://www.npmjs.com/package/parse-reminder
and, and it says “It aims to support all common forms of natural
language for reminders”. Great! So just use common forms :-)
How about we simply make GHC use all common forms of syntax? Then we
can disband this committee :-)
Cheers,
Joachim
--
Joachim Breitner
mail at joachim-breitner.de
http://www.joachim-breitner.de/
More information about the ghc-steering-committee
mailing list