15:48
<Noam Rosenthal>
Note that github notifications are broken atm. https://www.githubstatus.com/
18:09
<Noam Rosenthal>
seems ok now