Closed arvindn05 closed 7 years ago
@emanoelxavier let me know if removing the pre-push hooks makes sense. We should remove all pre-push in the other repos as well since the upstream merges are already restricted.
@arvindn05 I think we should still keep them as an extra safety net in case someone does not use the scripts to set up the remotes or misses a step somehow.
Update clone script to account for public projects only