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.
Member since July 12, 2017
This is a "Ghost User", created to hold all issues authored by users that have since been deleted. This user cannot be removed.