Fix repo indexer not updating upon push (#9957)
* Fix check for push on default branch * restart CI Co-authored-by: zeripath <art27@cantab.net>master
parent
514be723b2
commit
dbd1fae618
1 changed files with 2 additions and 1 deletions
Loading…
Reference in new issue