Hello, when I push my skill to public GitHub, should I be adding the
skill.json to gitignore?
Follow on question. Assuming the answer above is YES, when someone wants to
ask new --url <my git repo url>, they obviously need to create their own skill.json and .ask/config files..
Is there a better way to share and collaborate skills using GitHub?