So this may be a very simple question, but I still don’t know what to put here. I’m creating a new plugin with devtools, and it’s asking for a GitHub ID. Is that my user ID, or the repository’s ID, or simply the repository’s name, and if it’s neither the first nor the third: where can I find it?
Excellent, thank you! If I may make a suggestion, perhaps it would be helpful to change the prompt in devtools to “Your GitHub username” to avoid confusion. I did some research and found that I actually have a numerical user ID on GitHub (but it’s a bit hidden).