[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