Re: [Tails-dev] [review'n'merge:1.1] bugfix/7126-gdm-backgro…

Delete this message

Reply to this message
Author: intrigeri
Date:  
To: The Tails public development discussion list
Subject: Re: [Tails-dev] [review'n'merge:1.1] bugfix/7126-gdm-background
sajolida@??? wrote (15 May 2014 19:35:37 GMT) :
> Built, and tested. The background in GDM *is* blue, so I merged it.


Thanks!

Please consider pushing to lizard too when doing merges,
as documented on
https://tails.boum.org/contribute/merge_policy/review/:

If you merged into a branch that is built by our Jenkins, also push
it to the Git repository on lizard
(gitolite@???:tails).

This helps ensure that anyone who tests the nightly builds actually
runs our latest stuff.

For this time, I've just done it :)

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