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

Accidental push to master #252

Closed
IdoAkkerman opened this issue Apr 2, 2024 · 3 comments
Closed

Accidental push to master #252

IdoAkkerman opened this issue Apr 2, 2024 · 3 comments
Assignees
@tzanio
Labels
URGENT

Comments

@IdoAkkerman
Copy link
Contributor

I accidentally pushed my PR to master instead of a dedicated branch.
To my surprise this push actually worked!!
I think the master needs to be protected from these accident ASAP.

I do not know how to proceed from here. Please advice.
@tzanio
Copy link
Member

tzanio commented Apr 2, 2024

I'll take care of it, @IdoAkkerman: will revert 08e22a7 and add protection to master

@tzanio
Copy link
Member

tzanio commented Apr 2, 2024

Fixed

@IdoAkkerman
Copy link
Contributor Author

Thanks will try to add the NURBS stuff the legal way :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tzanio tzanio

Labels
URGENT
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@IdoAkkerman @tzanio