On merge of already closed PR redirect back to the pulls page

[zeripath]

No description provided.

[zeripath]

It seemed simplest to just redirect back with the message "The pull request has been closed."

We could be cleverer with double checking that it is a pull etc. but I dunno if it is worth it.

---

I've added a few more checks.

[codecov-io]

Codecov Report

Merging #10010 into master will decrease coverage by <.01%.
The diff coverage is 0%.

@@            Coverage Diff             @@
##           master   #10010      +/-   ##
==========================================
- Coverage   42.25%   42.25%   -0.01%     
==========================================
  Files         610      610              
  Lines       80373    80384      +11     
==========================================
+ Hits        33963    33964       +1     
- Misses      42230    42241      +11     
+ Partials     4180     4179       -1

Impacted Files	Coverage Δ
routers/repo/pull.go	28.7% <0%> (-0.34%)	⬇️
services/pull/temp_repo.go	31.62% <0%> (-2.57%)	⬇️
models/unit.go	37.03% <0%> (-2.47%)	⬇️
services/pull/patch.go	67.92% <0%> (+1.88%)	⬆️
services/pull/check.go	56.64% <0%> (+2.09%)	⬆️

---

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 3aaafdc...3a1b7ff. Read the comment docs.

[6543]

thanks ... but you switched something :D

[zeripath]

It appears that I am too full of cold to code!