Skip to content

Conversation

@DaveDavenport
Copy link
Collaborator

Please follow these steps before submitting your PR:

  • This PR targets the next branch and not master
  • If your PR is a work in progress, include [WIP] in its title
  • Its commits' summaries are reasonably descriptive
  • You've described what this PR addresses below
  • You've included links to relevant issues, if any with #issue_num
  • You've deleted this template

Thank you for contributing to rofi! <3

Your description here...

@DaveDavenport DaveDavenport marked this pull request as draft February 3, 2025 16:40
@DaveDavenport DaveDavenport marked this pull request as ready for review February 8, 2025 20:06
@DaveDavenport DaveDavenport merged commit 88456b6 into next Feb 9, 2025
8 checks passed
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.

2 participants