Heads up: Geary mainline development branch renamed to `mainline`

[Michael Gratton <mike vee net>]

Hi all,

Just a quick heads-up for people who have use git directly for 
traslating Geary: As part of 
https://gitlab.gnome.org/GNOME/geary/issues/324 The `master` branch has 
been renamed to `mainline`. Same great content (and command line 
completion prefix), snazzy new name. :)

So it would be worth doing a `git fetch && git checkout mainline` ASAP, 
cherry pick any pending commits you have on the master branch, then 
deleting the old branch to avoid committing more changes to it in the 
future (`git branch --delete master && git remote prune origin`).

This change happened a few weeks ago, my apologies for not letting 
everyone on the list know sooner.

Cheers!
//Mike

--
⊨ Michael Gratton, Percept Wrangler.
⚙ <http://mjog.vee.net/>