Arc Forumnew | comments | leaders | submitlogin
2 points by rntz 5570 days ago | link | parent

No, pushing doesn't require permission; that's more or less the point of a world-writable repository. You don't really need to put info on libraries in CHANGES/, though, as is said in CHANGES/README; it's more for changes to the core language.