This is part of gitbleed_tools. Created using git branch -D dev followed by git push --mirror. The secret is contained in commit 431bee575b64932bee6c88a19c784dcbaa9fbc7b.