mfem / web

MFEM website
http://mfem.org
9 stars 15 forks source link

Accidental push to master #252

Closed IdoAkkerman closed 8 months ago

IdoAkkerman commented 8 months ago

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 commented 8 months ago

I'll take care of it, @IdoAkkerman: will revert https://github.com/mfem/web/commit/08e22a7f1c9d03dadbd9b5bb6a0d918b6ee8cf0a and add protection to master

tzanio commented 8 months ago

Fixed

IdoAkkerman commented 8 months ago

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