[Tails-dev] tails-greeter branches

hi,

to make future release management easier, I've just converted the
tails-greeter Git repo to something closer to our main repository,
that is a stable branch and a devel one.

The master branch shall be ignored, or someone could find a way to
delete it.

cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc