Skip to content

Add the constitution, glossary and contributor docs - #2

Merged
fairdm-bot[bot] merged 1 commit into
mainfrom
chore/onboarding
Oct 19, 2026
Merged

fairdm-bot[bot] merged 1 commit into
mainfrom
chore/onboarding

Conversation

@fairdm-bot

@fairdm-bot fairdm-bot Bot commented Oct 19, 2026

Copy link
Copy Markdown
Contributor

Summary

Adds the documents that say how this repository is maintained, and moves the example portal onto the FairDM commit that declares its platform on main.

Changes

  • CONSTITUTION.md: the rules every change meets. The project articles are:
    • the workflows serve portals only, with no per-portal switches
    • the image and PostGIS versions always come from the FairDM a portal pins
    • the interface that portals depend on is kept stable
    • portals pin tags, never main
  • CONTEXT.md: the vocabulary (portal, platform, base images, caller workflow, example portal, pin tag).
  • AGENTS.md and docs/agents/: commands, required checks, issue tracker and triage labels.
  • docs/contributing/standards/: the testing, code documentation, documentation and Django standards the constitution refers to.
  • The example portal now pins FairDM at the merge of Record the base image and PostGIS version a portal runs on fairdm#535 instead of that pull request's branch head.

Scope

Documentation and the example portal's pin only. No workflow changes.

@codecov

codecov Bot commented Oct 19, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@forge-aeo-reviewer forge-aeo-reviewer Bot 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.

Repository setup: agreed with the maintainer while setting up this repository. Approved and merged without a separate review, at the maintainer's request.

@fairdm-bot
fairdm-bot Bot merged commit 489cb70 into main Oct 19, 2026
12 checks passed
@fairdm-bot
fairdm-bot Bot deleted the chore/onboarding branch October 19, 2026 12:42
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.

0 participants