-
Notifications
You must be signed in to change notification settings - Fork 2
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Implemented prototype for nested skills #2
base: gh-pages
Are you sure you want to change the base?
Conversation
Is this pull request addressing/fixing #3? |
Hi, yes I referred to the MR in the issue, but not the other way around. A bit confusing the # is used both for issue and MR ref. How to know what is what? |
If you want the MR/PR to close the issue it's better to refer to it in the title or text or commmits (assuming that you want this to close the issue), see: https://help.github.com/en/github/managing-your-work-on-github/closing-issues-using-keywords |
In GitHub they share the same number space (in contrast to GitLab). But there cannot be a conflict. |
This is not forgotten. I am now soon picking this up and will move it forward. |
Resolves #2