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

Drop all Vapi files that are already included with Vala #392

Merged
merged 1 commit into from
Jul 10, 2023

Conversation

EbonJaeger
Copy link
Member

Description

Just what it says on the tin.

Note: The polkit Vapi files aren't deleted in this PR because they'll be removed with #391.

Submitter Checklist

  • Squashed commits with git rebase -i (if needed)
  • Built budgie-desktop and verified that the patch worked (if needed)

@EbonJaeger EbonJaeger added the enhancement New feature or request label Jun 3, 2023
@serebit serebit changed the title Drop all Vapi files that aren't included with Vala Drop all Vapi files that are already included with Vala Jun 3, 2023
@serebit serebit added this to the 10.8 milestone Jul 7, 2023
Copy link
Member

@JoshStrobl JoshStrobl left a comment

Choose a reason for hiding this comment

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

Hell yes.

@JoshStrobl JoshStrobl merged commit 5f64148 into main Jul 10, 2023
1 check passed
@JoshStrobl JoshStrobl deleted the vapi-file-cleanup branch July 10, 2023 14:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants