Skip to content

Magma project name fixes - #1516

Merged
graft merged 6 commits into
masterfrom
graft/magma-project-names
Jun 5, 2026
Merged

Magma project name fixes#1516
graft merged 6 commits into
masterfrom
graft/magma-project-names

Conversation

@graft

@graft graft commented Jun 3, 2026

Copy link
Copy Markdown
Contributor

This PR relaxes the validation on the "project" record identifier, which previously could be updated, but updates required correctly referencing the current project record. In addition this may disagree with the value in the Gnomon token; there is also the Janus "full name" which may disagree.

Here we allow the update to come from: the current record name, the PROJECT token in Gnomon, the slug, the slug upper-cased, and the PROJ token in Gnomon. However, Magma will continue to ensure the project name remains the same unless it is updated.

When the token PROJECT is set in Gnomon, now it will automatically update the project record in Magma. Note that you can still set the project record via /update to whatever you want, meaning divergence from Gnomon is still possible, though less likely.

@graft
graft merged commit eb72a05 into master Jun 5, 2026
11 checks passed
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