Re: [GNUnet-developers] Updating my git work-in-progess branch?

[Florian Dold]

On 3/19/19 8:05 PM, address@hidden 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://address@hidden/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
>> address@hidden
>> https://lists.gnu.org/mailman/listinfo/gnunet-developers
> 
> 
> _______________________________________________
> GNUnet-developers mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/gnunet-developers
>