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.

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

build(nix): drop #70

Merged
merged 2 commits into from
Feb 21, 2025
Merged

build(nix): drop #70

merged 2 commits into from
Feb 21, 2025

Conversation

getchoo
Copy link
Member

@getchoo getchoo commented Feb 19, 2025

Whiskers is now packaged for Nix in the catppuccin/nix port

Whiskers is now packaged for Nix in the `catppuccin/nix` port
@backwardspy
Copy link
Member

thanks for this!
the lint failure will be fixed once #69 is merged. i'll merge this right after 👍

@backwardspy
Copy link
Member

don't think i have permission to update your branch; if you could rebase or merge latest main & fix the conflict i'll be able to merge this.

@sgoudham
Copy link
Contributor

sgoudham commented Feb 20, 2025

You should have permission @backwardspy

image

@backwardspy
Copy link
Member

github says i do, yet i cannot push

@sgoudham
Copy link
Contributor

sgoudham commented Feb 21, 2025

github says i do, yet i cannot push

Yeah it wouldn't let me push on the command line either...

image

I made the changes locally and then used the web editor to merge. Not sure why that worked versus the command line.

@backwardspy
Copy link
Member

incredible! ssh vs https auth is my guess

@sgoudham sgoudham merged commit edb6970 into catppuccin:main Feb 21, 2025
4 checks passed
backwardspy pushed a commit that referenced this pull request Feb 21, 2025
@getchoo getchoo deleted the drop-nix branch February 23, 2025 01:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants