Skip to content

Documentation & Copilot-instruction updates - #212

Merged
dalito merged 6 commits into
mainfrom
pr210-followup
Nov 16, 2025
Merged

Documentation & Copilot-instruction updates#212
dalito merged 6 commits into
mainfrom
pr210-followup

Conversation

@dalito

@dalito dalito commented Nov 16, 2025

Copy link
Copy Markdown
Member
  • Revised the README.md to direct contributors to the new "How to contribute?" guide instead of including a lengthy, duplicate description.
  • Updated references in docs/docs_usage/how-to-contribute.md to point to the new guidelines location and improve clarity in instructions for syncing forks, uploading files, and creating pull requests. This is a follow-up of Add separate & improved how-to-contribute page #210.
  • Updated .github/copilot-instructions.md to be more precise and make PR reviews less noisy.
  • Avoid PR-from-Org-warning for home-organization (as seen below)

@dalito dalito self-assigned this Nov 16, 2025
Copilot AI review requested due to automatic review settings November 16, 2025 16:13
@dalito
dalito requested a review from a team as a code owner November 16, 2025 16:13
@github-actions

Copy link
Copy Markdown

Hi @dalito! 👋

⚠️ We noticed that this pull request comes from an organization account,
which will prevent our CI workflow from working correctly.

GitHub does not allow the "Allow edits from maintainers" option for forks in organizations (see discussion).
Our CI needs this permission to commit turtle files and clean up Excel files.

This PR cannot be merged as-is. Please:

  1. Fork voc4cat to your personal GitHub account
  2. Create a feature branch with your changes
  3. Submit a new PR from your personal fork
  4. Close this PR

Sorry for the inconvenience - this is a GitHub limitation, not our choice!

This comment was marked as duplicate.

@dalito
dalito merged commit 9045bbf into main Nov 16, 2025
2 checks passed
@github-project-automation github-project-automation Bot moved this from New to Completed in Voc4Cat cross-repo view Nov 16, 2025
@dalito
dalito deleted the pr210-followup branch November 16, 2025 17:17
HendrikBorgelt pushed a commit to HendrikBorgelt/voc4cat that referenced this pull request Feb 13, 2026
* Improve how-to-contribute (styling and PR nfdi4cat#210 follow-up)
* Clean-up README - remove duplicate contributing guide
* Make copilot PR reviews more precise & less noisy
* Avoid PR-from-org-warning for home-organization and switch to using gh-markdown alert messages
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants