Main#1
Conversation
|
You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool. What Enabling Code Scanning Means:
For more information about GitHub Code Scanning, check out the documentation. |
There was a problem hiding this comment.
Pull request overview
This PR introduces repository support files (contribution guidance, PR/issue templates, and automatic PR labeling) and adds a small .gitignore update.
Changes:
- Add
docs/CONTRIBUTING.mdwith contribution/contributor information. - Add GitHub community/automation configuration: PR template, issue templates, and labeler workflow + config.
- Ignore
*.codexfiles in.gitignore.
Reviewed changes
Copilot reviewed 6 out of 7 changed files in this pull request and generated 3 comments.
Show a summary per file
| File | Description |
|---|---|
docs/CONTRIBUTING.md |
Adds contribution/contributor documentation in docs/. |
.gitignore |
Ignores *.codex files. |
.github/workflows/labeler.yml |
Adds GitHub Action to auto-label PRs. |
.github/labeler.yml |
Defines label rules based on changed files. |
.github/PULL_REQUEST_TEMPLATE.md |
Adds a structured PR template. |
.github/ISSUE_TEMPLATE/feature_request.md |
Adds a feature request issue template. |
.github/ISSUE_TEMPLATE/bug_report.md |
Adds a bug report issue template. |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
| @@ -0,0 +1,25 @@ | |||
| # Contributors | |||
There was a problem hiding this comment.
The document is named CONTRIBUTING.md and the README section is titled "Contributing", but this page starts with "# Contributors". Consider renaming the heading to "# Contributing" (or similar) so GitHub’s UI/search and readers see consistent terminology.
| # Contributors | |
| # Contributing |
| GitHub automatically tracks all contributors to this repository. | ||
| You can view the full, up‑to‑date list here: | ||
|
|
||
| [GitHub Contributors](https://github.com/Alcheri/Mem/graphs/contributors) |
There was a problem hiding this comment.
This hard-codes the owner/repo in the contributors link. That will break if the repo is forked or renamed. Prefer a relative link (e.g., "/graphs/contributors") so it always points at the current repository’s contributors page.
| [GitHub Contributors](https://github.com/Alcheri/Mem/graphs/contributors) | |
| [GitHub Contributors](/graphs/contributors) |
| name: Labeler | ||
|
|
||
| on: | ||
| pull_request_target: | ||
|
|
There was a problem hiding this comment.
PR description says "docs: move supporting docs into docs folder", but this change set also adds new GitHub automation/config (labeler workflow + issue/PR templates). Either update the PR description to reflect the broader scope, or split these non-doc changes into a separate PR so the intent/review surface is clear.
docs: move supporting docs into docs folder