P.S. It's now easy to check a repo file by replace .com with .dev: https://github.dev/desktop/desktop