Microsoft has acquired GitHub. Decentraleyes has left GitHub. Welcome to its new home!
To participate, please register, or sign in with an existing GitLab.com, Bitbucket, or GitHub account.
Past contributions on GitHub? Be sure to reclaim your Comments, Issues, and Pull Requests.
You’re about to permanently delete the protected branch [branch name].
This branch hasn’t been merged into master . To avoid data loss, consider merging this branch before deleting it.
Once you confirm and press Delete protected branch , it cannot be undone or recovered.
To confirm, type [branch name] :
