branch: Trigger update when deleting branch via UI.

[HarshitOnGitHub]

I also tried the approach to delete the branch by executing git push --delete origin <banch_name> in local copy of repository but it didn't trigger the post-receive hook. I tried debugging and everything seems fine yet a push via local copy doesn't trigger update. Can anyone shed some light on this?

Fixes: #5309.

[codecov-io]

Codecov Report

Merging #5617 into master will decrease coverage by 0.01%.
The diff coverage is 72.72%.

@@            Coverage Diff            @@
##           master   #5617      +/-   ##
=========================================
- Coverage   37.82%   37.8%   -0.02%     
=========================================
  Files         322     322              
  Lines       47463   47474      +11     
=========================================
- Hits        17952   17949       -3     
- Misses      26928   26937       +9     
- Partials     2583    2588       +5

Impacted Files	Coverage Δ
routers/repo/branch.go	58.19% <72.72%> (+0.96%)	⬆️
models/repo_indexer.go	44.49% <0%> (-3.82%)	⬇️
models/repo_list.go	63.29% <0%> (-1.27%)	⬇️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 4c52858...8e12a4b. Read the comment docs.

[lafriks]

Temp checkout&push would be needed to trigger hooks but I don't think it is reasonable performance wise

[HarshitOnGitHub]

Temp checkout&push would be needed to trigger hooks

I did the same but still it didn't trigger the hooks. I have the code if you would like to have a look.

I don't think it is reasonable performance wise

Yeah that is why went ahead with this approach. :)