Skip to content

docs: add MIT LICENSE; rename guide to CONTRIBUTING.md#27

Merged
isPANN merged 1 commit into
CodingThrust:mainfrom
isPANN:docs-license
Jul 4, 2026
Merged

docs: add MIT LICENSE; rename guide to CONTRIBUTING.md#27
isPANN merged 1 commit into
CodingThrust:mainfrom
isPANN:docs-license

Conversation

@isPANN

@isPANN isPANN commented Jul 4, 2026

Copy link
Copy Markdown
Collaborator
  • Add LICENSE — MIT, matching the problem-reductions library (Copyright (c) 2026 Jin-Guo Liu and other contributors).
  • Rename SUBMISSION.mdCONTRIBUTING.md so GitHub surfaces the run-and-submit guide as a tab on the repo overview panel — custom filenames like SUBMISSION.md are never shown there, only recognized community files (README, CONTRIBUTING, LICENSE, …). Updated every reference (README now links it, Makefile, Dockerfile, submissions/README, test_docs).

Content is unchanged — it's the same single run-and-submit guide, just under the recognized name. pytest -m 'not integration' → 130 passed.

🤖 Generated with Claude Code

- Add MIT LICENSE (matches the problem-reductions library).
- Rename SUBMISSION.md → CONTRIBUTING.md so GitHub surfaces it as a tab on
  the repo overview (custom filenames like SUBMISSION.md are never shown there);
  update all references (README links, Makefile, Dockerfile, submissions/README,
  test_docs).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@isPANN isPANN merged commit 609c772 into CodingThrust:main Jul 4, 2026
5 checks passed
@isPANN isPANN deleted the docs-license branch July 4, 2026 14:07
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.

1 participant