Skip to content

Update to newest repo config#140

Closed
flora-hofmann-frequenz wants to merge 1 commit intofrequenz-floss:v0.x.xfrom
flora-hofmann-frequenz:repo_config_update
Closed

Update to newest repo config#140
flora-hofmann-frequenz wants to merge 1 commit intofrequenz-floss:v0.x.xfrom
flora-hofmann-frequenz:repo_config_update

Conversation

@flora-hofmann-frequenz
Copy link
Copy Markdown
Contributor

No description provided.

@github-actions github-actions bot added part:docs Affects the documentation part:tooling Affects the development tooling (CI, deployment, dependency management, etc.) labels Feb 27, 2025
@flora-hofmann-frequenz flora-hofmann-frequenz force-pushed the repo_config_update branch 2 times, most recently from 24fd9cc to 98d4536 Compare March 3, 2025 13:37
Signed-off-by: Flora <flora.hofmann@frequenz.com>
@flora-hofmann-frequenz
Copy link
Copy Markdown
Contributor Author

Closing this PR, as #146 includes the repo config upgrade as well.

@cwasicki
Copy link
Copy Markdown
Contributor

cwasicki commented Mar 5, 2025

Closing this PR, as #146 includes the repo config

I think the other one is missing the migration script fix.Typically a separate repo-config PR makes sense due to this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

part:docs Affects the documentation part:tooling Affects the development tooling (CI, deployment, dependency management, etc.)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants