Skip to content
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

Refactor naming #582

Merged
merged 1 commit into from
Dec 5, 2024
Merged

Refactor naming #582

merged 1 commit into from
Dec 5, 2024

Conversation

takahirom
Copy link
Owner

No description provided.

@takahirom takahirom marked this pull request as ready for review December 3, 2024 01:41
@takahirom takahirom mentioned this pull request Dec 3, 2024
Merged
@takahirom
Copy link
Owner Author

takahirom commented Dec 3, 2024 •
edited
Loading

This stack of pull requests is managed by Graphite. Learn more about stacking.

@takahirom takahirom mentioned this pull request Dec 3, 2024
Merged
@takahirom takahirom force-pushed the 12-02-rename_applier_to_config branch from c897ef3 to 6601fdf Compare December 3, 2024 01:45
@takahirom takahirom force-pushed the 12-03-rename_colored_background branch from d9fa78e to 083e66d Compare December 3, 2024 01:46
@takahirom takahirom mentioned this pull request Dec 3, 2024
Merged
@takahirom takahirom force-pushed the 12-03-rename_colored_background branch from 083e66d to 9591f0c Compare December 3, 2024 03:27
@takahirom takahirom changed the title Rename colored background Refactor naming Dec 3, 2024
@takahirom takahirom force-pushed the 12-03-rename_colored_background branch from 9591f0c to 582b13f Compare December 3, 2024 03:29
This was referenced Dec 3, 2024
Merged
Merged
@takahirom
Copy link
Owner Author

takahirom commented Dec 5, 2024 •
edited
Loading

Merge activity

  • Dec 5, 2:22 AM EST: A user started a stack merge that includes this pull request via Graphite.
  • Dec 5, 2:24 AM EST: Graphite couldn't merge this pull request because a downstack PR Rename Applier to Config #579 failed to merge.
  • Dec 5, 2:41 AM EST: A user started a stack merge that includes this pull request via Graphite.
  • Dec 5, 2:43 AM EST: Graphite rebased this pull request as part of a merge.
  • Dec 5, 2:44 AM EST: A user merged this pull request with Graphite.

@takahirom takahirom changed the base branch from 12-02-rename_applier_to_config to graphite-base/582 December 5, 2024 07:23
@takahirom takahirom force-pushed the 12-03-rename_colored_background branch from 582b13f to 74f1329 Compare December 5, 2024 07:38
@takahirom takahirom changed the base branch from graphite-base/582 to main December 5, 2024 07:41
@takahirom takahirom force-pushed the 12-03-rename_colored_background branch from 74f1329 to 042f186 Compare December 5, 2024 07:42
@takahirom takahirom merged commit 620e0c4 into main Dec 5, 2024
6 of 7 checks passed
@takahirom takahirom deleted the 12-03-rename_colored_background branch December 5, 2024 07:44
@takahirom takahirom mentioned this pull request Dec 5, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@takahirom