Skip to content

Conversation

@CarolineDenis
Copy link
Contributor

Fixes #7438

Checklist

  • Self-review the PR after opening it to make sure the changes look good and
    self-explanatory (or properly documented)
  • Add relevant issue to release milestone

Testing instructions

@CarolineDenis CarolineDenis added this to the 7.12.0 milestone Sep 23, 2025
@github-project-automation github-project-automation bot moved this to 📋Back Log in General Tester Board Sep 23, 2025
@CarolineDenis CarolineDenis changed the title Issue 7438 Feat (setup tool): Create default files for the new setup tool Sep 23, 2025
@CarolineDenis CarolineDenis merged commit 9b14f6f into main Oct 2, 2025
14 checks passed
@CarolineDenis CarolineDenis deleted the issue-7438 branch October 2, 2025 14:26
@github-project-automation github-project-automation bot moved this from 📋Back Log to ✅Done in General Tester Board Oct 2, 2025
@alesan99 alesan99 mentioned this pull request Oct 2, 2025
45 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

[Guided Setup] - Create default files needed for new disciplines and collections

2 participants