Autore: intrigeri Data: To: The Tails public development discussion list Oggetto: Re: [Tails-dev] greeter devel branch [was: bugfix/#5387
Tails-greeter fix quick search in "Other..." window]
Hi,
Alan wrote (10 Jul 2014 13:54:35 GMT) : > I first checked out devel which had not changed since 2013 if I'm not
> mistaken. So in what branch are we supposed to develop?
Your understanding is correct that the Git branches setup for this
repo is suboptimal. I think we should use the same branch setup as we
use on our main repo, and the release process doc for this program
should be updated accordingly.
