guillep2k dbd1fae618 Fix repo indexer not updating upon push (#9957) ...

* Fix check for push on default branch

* restart CI

Co-authored-by: zeripath <art27@cantab.net>

2020-01-24 20:00:49 +02:00

..

action

…

base

…

indexer

Fix repo indexer not updating upon push (#9957)

2020-01-24 20:00:49 +02:00

mail

…

ui

…

webhook

…

notification.go

…