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

[WIP] New package: libDPP-10.0.10 #37546

Closed
wants to merge 1 commit into from
Closed

[WIP] New package: libDPP-10.0.10 #37546

wants to merge 1 commit into from

Conversation

JuniorSuperTux
Copy link
Contributor

Testing the changes

  • I tested the changes in this PR: YES

@JuniorSuperTux JuniorSuperTux changed the title New package: libDPP-10.0.10 [WIP] New package: libDPP-10.0.10 Jun 13, 2022
@classabbyamp classabbyamp added the new-package This PR adds a new package label Jun 13, 2022
@JuniorSuperTux JuniorSuperTux deleted the libDPP-10.0.10 branch June 14, 2022 02:34
@abenson
Copy link
Contributor

abenson commented Jun 14, 2022

Why'd you close it?

@JuniorSuperTux
Copy link
Contributor Author

Why'd you close it?

Wait I'm fixing something

@abenson
Copy link
Contributor

abenson commented Jun 16, 2022

We'd prefer you fix it, amend the commit, and force push the branch. Don't open/close PRs, it just causes unwanted noise.

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
new-package This PR adds a new package
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@JuniorSuperTux @abenson @classabbyamp