Skip to content

chore(workspace): Base Rename #507

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
refcell merged 4 commits into from
Jan 16, 2026
Merged

chore(workspace): Base Rename #507

refcell merged 4 commits into from
Jan 16, 2026
+78 −78

Conversation

@refcell
Copy link
Contributor

@refcell refcell commented Jan 16, 2026

Description

Performs the base rename within the repo.

@refcell refcell requested a review from danyalprout January 16, 2026 17:08
@refcell refcell self-assigned this Jan 16, 2026
@refcell refcell added F-do-not-merge Flag: don't merge until this label is removed. A-repo Area: general repository changes K-cleanup Kind: general cleanup labels Jan 16, 2026
@cb-heimdall
Copy link
Collaborator

cb-heimdall commented Jan 16, 2026 •
edited
Loading

✅ Heimdall Review Status

Requirement Status More Info
Reviews ✅ 1/1
Denominator calculation
Show calculation
1 if user is bot 0
1 if user is external 0
2 if repo is sensitive 0
From .codeflow.yml 1
Additional review requirements
Show calculation
Max 0
0
From CODEOWNERS 0
Global minimum 0
Max 1
1
1 if commit is unverified 1
Sum 2

@refcell
Copy link
Contributor Author

refcell commented Jan 16, 2026 •
edited
Loading

Note

Lychee CI errors should pass once the repository is actually renamed.

danyalprout
danyalprout previously approved these changes Jan 16, 2026
View reviewed changes
danyalprout
danyalprout reviewed Jan 16, 2026
View reviewed changes
@danyalprout danyalprout marked this pull request as ready for review January 16, 2026 18:34
@refcell refcell removed the F-do-not-merge Flag: don't merge until this label is removed. label Jan 16, 2026
@refcell refcell enabled auto-merge January 16, 2026 18:38
@refcell refcell added this pull request to the merge queue Jan 16, 2026
Merged via the queue into main with commit eee7c85 Jan 16, 2026
15 checks passed
@refcell refcell deleted the base-rename branch January 16, 2026 19:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@danyalprout danyalprout danyalprout approved these changes

Assignees

@refcell refcell

Labels

A-repo Area: general repository changes K-cleanup Kind: general cleanup

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@refcell @cb-heimdall @danyalprout