Skip to content

Conversation

@VladimirAlexiev
Copy link
Contributor

@VladimirAlexiev VladimirAlexiev commented Oct 23, 2025

Closes #163

  • See this document rendered online here
  • @HolgerKnublauch Sorry, I made a github mistake and this includes a gazillion commits. Can you pick only the last one 8d3d823 ?
  • I've deleted a few duplicated words from a definition and replaced with a reference to the section that defines "substitution" fully.
  • Added suggestion to emit "BAD-PATH"
  • Added some words in Security as per @afs

@afs
Copy link
Contributor

afs commented Oct 23, 2025

a github mistake and this includes a gazillion commits.

PRs are merged, not single commits from a PR.

You can get the commit with, for example, git show 8d3d823 > F, then create a clean, up-to-date branch, git apply F and submit a PR with the required changes.

Copy link
Contributor

@HolgerKnublauch HolgerKnublauch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah I am afraid the best way forward would be for you to either create a new PR with just the change that you want, or roll back the unneeded parts here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Clarify the use of $PATH, or string interpolation of SHACL paths

3 participants