Closing Pull Request

There is a thread on this here - GITEA closed pull request ignored

I’m afraid this matches travis and circle CI’s functionality :frowning: