[Jflex-devel] All GitHub integrations broken

[Régis D. <re...@de...>]

Gerwin,

Have-you changed something in the GitHub integration/webhooks? Nothing is
triggering (no travis, no cirrus, no lgtm). If it's not you, then it's an
outage aat GitHub

-- 
Régis Décamps

http://regis.decamps.info/