Skip to content

DOC: docs and contributing guidelines - #17

Merged
mj-will merged 5 commits into
mainfrom
more-docs
Oct 15, 2026
Merged

mj-will merged 5 commits into
mainfrom
more-docs

Conversation

@mj-will

@mj-will mj-will commented Oct 15, 2026

Copy link
Copy Markdown
Contributor

No description provided.

Remove the separate maintenance document and its README link.
Keep the local setup, build, and validation instructions in the README.
Resolve Sequince and Sequince Density from PyPI once per execution batch
and validate the installed versions against the shared execution lock.
Reject stale Git locks instead of falling back to development sources.
Match the Sequince repository layout and move contributor setup, checks,
and documentation build instructions into CONTRIBUTING.md.
@mj-will mj-will changed the title DOC: more docs improvements DOC: docs and contributing guidelines Oct 15, 2026
@mj-will mj-will added the documentation Improvements or additions to documentation label Oct 15, 2026
@mj-will
mj-will merged commit 705b4b5 into main Oct 15, 2026
3 of 4 checks passed
@mj-will
mj-will deleted the more-docs branch October 15, 2026 06:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant