@kugel- what I don't like with the `@close` method is that it marks the PR as closes rather than merged. IIUC, what using GitHub's buttons, it does work though, so I imagine it might be possible somehow to do that manually too -- but I might be dreaming.
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1748#issuecomment-379057448
