Skip to content
This repository has been archived by the owner on Jul 11, 2021. It is now read-only.

Update skilltreeinfo.json #7

Merged
merged 1 commit into from
Dec 10, 2018
Merged

Update skilltreeinfo.json #7

merged 1 commit into from
Dec 10, 2018

Conversation

Eden333
Copy link
Contributor

@Eden333 Eden333 commented Dec 10, 2018

  • switched Reckless Princess & Wolf's Showtime

@Leayal Leayal merged commit b15e715 into Leayal:master Dec 10, 2018
@Leayal
Copy link
Owner

Leayal commented Dec 10, 2018

Thank you for the fix.
You can delete the other old pull request, though.

@Eden333
Copy link
Contributor Author

Eden333 commented Dec 10, 2018

ok uhm, how do I do that? ^^

@Eden333
Copy link
Contributor Author

Eden333 commented Dec 10, 2018

ok it seems, that I can't even do that from what I've found.

"There is no way you can delete a pull request yourself -- you and the repo owner (and all users with push access to it) can close it, but it will remain in the log. This is part of the philosophy of not denying/hiding what happened during development.

However, if there are critical reasons for deleting it (this is mainly violation of Github Terms of Service), Github support staff will delete it for you."

@Eden333
Copy link
Contributor Author

Eden333 commented Dec 10, 2018

oh, should I click on "Delete branch"?
and I think you have to do the thing with your compiler again so It shows publicly.

@Eden333 Eden333 deleted the patch-5 branch May 10, 2020 15:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants