Skip to content

docs: Add Sage Language Server to Implementations.md - #618

Merged
tombh merged 1 commit into
openlawlibrary:mainfrom
SeanDictionary:main
Jun 11, 2026
Merged

docs: Add Sage Language Server to Implementations.md#618
tombh merged 1 commit into
openlawlibrary:mainfrom
SeanDictionary:main

Conversation

@SeanDictionary

Copy link
Copy Markdown
Contributor

Description (e.g. "Related to ...", etc.)

Add Sage Language Server to Implementations.md

Code review checklist (for code reviewer to complete)

  • Pull request represents a single change (i.e. not fixing disparate/unrelated things in a single PR)
  • Title summarizes what is changing
  • Commit messages are meaningful (see this for details)
  • Tests have been included and/or updated, as appropriate
  • Docstrings have been included and/or updated, as appropriate
  • Standalone docs have been updated accordingly

Automated linters

You can run the lints that are run on CI locally with:

uv run --all-extras poe lint

Copilot AI review requested due to automatic review settings June 10, 2026 13:11

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Pull request overview

Note

Copilot was unable to run its full agentic suite in this review.

Adds a new entry to the implementations list to include the SageMath language server.

Changes:

  • Added “Sage Language Server” entry (author, repo link, and description) to the table in Implementations.md.
Comments suppressed due to low confidence (1)

Implementations.md:1

  • The GitHub profile link uses https://github.com/seandictionary while the repository link uses https://github.com/SeanDictionary/... (case mismatch). GitHub is case-insensitive, but this is inconsistent within the same row and can look like two different accounts. Please standardize casing across both links (prefer the canonical casing shown by the GitHub org/user and repo URL).
# Implementations Based on _pygls_

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@tombh
tombh merged commit 853fd09 into openlawlibrary:main Jun 11, 2026
18 checks passed
@tombh

tombh commented Jun 11, 2026

Copy link
Copy Markdown
Collaborator

Thank you.

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.

3 participants