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

plugins/wezterm: init #2760

Merged
merged 2 commits into from
Dec 27, 2024
Merged

plugins/wezterm: init #2760

merged 2 commits into from
Dec 27, 2024

Conversation

khaneliman
Copy link
Contributor

Continuation of #2597

@khaneliman khaneliman force-pushed the wezterm branch 3 times, most recently from baa4fe0 to e783a5a Compare December 27, 2024 23:05
@khaneliman
Copy link
Contributor Author

Sorry, was thinking of the warning condition as an assertion. Changed for the warning.

samos667 and others added 2 commits December 27, 2024 17:17
GaetanLepage
GaetanLepage approved these changes Dec 27, 2024
View reviewed changes
Copy link
Member

@GaetanLepage GaetanLepage left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@khaneliman
Copy link
Contributor Author

@Mergifyio queue

@mergify Mergify
Copy link
Contributor

mergify bot commented Dec 27, 2024 •
edited
Loading

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at 1702f24

@mergify Mergify
Copy link
Contributor

mergify bot commented Dec 27, 2024

This pull request, with head sha 1702f2407417b1646f5fb4635476d16df9221c8b, has been successfully merged with fast-forward by Mergify.

This pull request will be automatically closed by GitHub.

As soon as GitHub detects that the sha 1702f2407417b1646f5fb4635476d16df9221c8b is part of the main branch, it will mark this pull request as merged.

It is possible for this pull request to remain open if this detection does not happen, this usually happens when a force-push is done on this branch wezterm, this means GitHub will fail to detect the merge.

@mergify mergify bot merged commit 1702f24 into nix-community:main Dec 27, 2024
4 checks passed
@khaneliman khaneliman deleted the wezterm branch December 27, 2024 23:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@GaetanLepage GaetanLepage GaetanLepage approved these changes

@MattSturgeon MattSturgeon MattSturgeon approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@khaneliman @MattSturgeon @GaetanLepage @samos667