Skip to content

Minor edit suggestions by @TallTed #259

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

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Conversation

hartig
Copy link
Contributor

@hartig hartig commented Aug 14, 2025

This PR implements a few edit suggestions that @TallTed had on commit f4977ce in PR #245 after the PR was already merged.

@TallTed, I included all your suggestions except for the one about code-fencing the keyword SELECT. That one I left out because, in this part of the spec, there are a lot of mentions of SPARQL keyword and none of them is code-fenced. Thus, code-fencing just this one mention of "SELECT" would be inconsistent with respect to the rest of this part of the spec.


Preview | Diff

@hartig
Copy link
Contributor Author

hartig commented Aug 14, 2025

The Echidna run for this PR failed as the whole repo seems to be out of date with respect to the global local-biblio.js file. I assume that this will be resolved when @pchampin's PR #256 is merged.

@hartig hartig added the spec:editorial Minor change in the specification (markup, typo, informative text; class 1 or 2) label Aug 14, 2025
Copy link
Contributor

@afs afs left a comment

Choose a reason for hiding this comment

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

Rebasing should mean this PR only has changes for spec/index.

@hartig
Copy link
Contributor Author

hartig commented Aug 15, 2025

Rebasing should mean this PR only has changes for spec/index.

Yes, indeed.

Perhaps I made a mistake in the way I rebased (I am not doing that so often). In my local version of the feature branch for this PR, I did:

git rebase main

After that, I did:

git pull

But the latter (pull) didn't work; git said I first have to do one of the following three things

  1. git config pull.rebase false
  2. git config pull.rebase true
  3. git config pull.ff only

I did the second (because I thought that this is what I have to do in order to rebase). After that, git pull worked, and finally I did git push

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
spec:editorial Minor change in the specification (markup, typo, informative text; class 1 or 2)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants