On 3/19/19 8:05 PM, [email protected] wrote: > Christian Grothoff transcribed 5.4K bytes: > See my last message and read it. It depends on if this > is applicable. I'll spend tomorrow looking into the 2 > codebases and deciding on if/how this can be applied > for us.
Please see ssh://[email protected]/gitolite-admin for an implementation of dev-branches that doesn't need some experimental branch of gitolite. It simply uses VREFs to filter out "forbidden" force pushes and branch deletions. Only force pushes and branch deletions for "dev/$USER/..." are allowed, if $USER matches the user corresponding to your SSH key. Admins are excluded from this policy. Feel free to adapt this for the GNUnet repos. - Florian > Unless I'm mistaken by gitolite's own documentation > and it's not just a matter of repo.or.cz branch > vs gitolite old branch. > > >> _______________________________________________ >> GNUnet-developers mailing list >> [email protected] >> https://lists.gnu.org/mailman/listinfo/gnunet-developers > > > _______________________________________________ > GNUnet-developers mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/gnunet-developers > _______________________________________________ GNUnet-developers mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnunet-developers
