]> source.dussan.org Git - gitea.git/commit
projects / gitea.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 514be72) | patch
Fix repo indexer not updating upon push (#9957)
authorguillep2k <18600385+guillep2k@users.noreply.github.com>
Fri, 24 Jan 2020 18:00:49 +0000 (15:00 -0300)
committerLauris BH <lauris@nix.lv>
Fri, 24 Jan 2020 18:00:49 +0000 (20:00 +0200)
commitdbd1fae6187ba60f31972d656c8de0bfd1ca074c
tree59683e3a67dea58d6df791c421cbffe4023d3b98tree | snapshot
parent514be723b2841de4cad4d1a4f4c516e1befe6b67commit | diff
Fix repo indexer not updating upon push (#9957)

* Fix check for push on default branch

* restart CI

Co-authored-by: zeripath <art27@cantab.net>
modules/notification/indexer/indexer.go diff | blob | history
Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD: https://github.com/go-gitea/gitea