Florian Dold transcribed 1.3K bytes: > 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
Oh, nice. Okay, I'll adapt this. > > 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 > _______________________________________________ GNUnet-developers mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnunet-developers
