You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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>		5 years ago
..
indexer.go	Fix repo indexer not updating upon push (#9957)	5 years ago