[oe] git master not updating

[Andrea Adami]

FYI this was briefly discussed on irc:

http://hentges.net/tmp/logs/irc/%23oe/2008/September/20080926_oe.log
...
[20080926 18:00:51] <mickey|tw>   zecke: did you see my request
regarding combining CIAbot notifications for multiple branches? Would
be a nice thing and reduce clutter
[20080926 18:02:10] <zecke>   mickey|tw: yes, the ciabot runs on
gitweb where I have no access to :)
[20080926 18:02:29] <mickey|tw>   gitweb?
[20080926 18:02:40] <zecke>   mickey|tw: git.openembedded.org
[20080926 18:02:48] <mickey|tw>   oh, there it runs
[20080926 18:02:49] <mickey|tw>   interesting
[20080926 18:03:05] <zecke>   mickey|tw: a) I can stop pushing master.
I did it because it was needed on repo.or.cz
[20080926 18:03:39] <zecke>   mickey|tw: b) someone with access
changes the post commit script to have if [ $branch != "master" ];
then run_cia_script; fi
[20080926 18:04:47] <mickey|tw>   hmm
[20080926 18:04:51] <mickey|tw>   which option do you recommend?
...
20080926 18:15:21] <zecke>   mickey|tw: I will not push master anymore
[20080926 18:16:30] <mickey|tw>   oki, cool
...