Find git deleted branch remotely but not locally

Question

When we merge a pull request on Github we have a bot (https://github.com/SvanBoxel/delete-merged-branch) that automatically deletes the branch just merged into dev