]> source.dussan.org Git - gitea.git/commit
projects / gitea.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3a5b83) | patch
Fix deleted branch isn't removed when push the branch again (#9516)
authorLunny Xiao <xiaolunwen@gmail.com>
Fri, 27 Dec 2019 19:17:37 +0000 (03:17 +0800)
committerzeripath <art27@cantab.net>
Fri, 27 Dec 2019 19:17:37 +0000 (19:17 +0000)
commit0bcf644da4c3d21fad3ce8f33ccc26f8110568d6
tree06f6f7c4d21efff1fa49439b671f492e8f01e409tree | snapshot
parente3a5b8321240e489bb9048ecf2caccf73c0abc36commit | diff
Fix deleted branch isn't removed when push the branch again (#9516)
models/branches.go diff | blob | history
modules/repofiles/update.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