[13:04] <mgedmin> hm, nobody made a gnome shell extension to count down the days remaining until the 14.04 release?  I am disappoint
[15:50] <fooctrl> how do you sync gnome packages from gnome to your ppa's?
[15:51] <fooctrl> I'm assuming it's not automatic process, as I see 73 out of 195 3.12 package up to date in Debian archives
[15:52] <fooctrl> depending on how it's done I might be available to help you with this
[15:57] <mgedmin> the packaging team does all the work, AFAIU: https://wiki.ubuntu.com/UbuntuGNOME/Packaging
[16:03] <fooctrl> I'd say I'm pretty good with packaging as I maintain Eclipse in Debian and couple of other packages
[16:03] <fooctrl> the only problem is that I don't know how much time would I be able to devote to packaging Ubuntu GNOME stuff ...
[16:10] <fooctrl> it would be awesome if we could just sync packages from debian to ppa's
[16:12] <mgedmin> hm, if you simply download the source deb and reupload it with dput to your ppa... or do you need to bump the version number before it will be accepted?
[16:13] <mgedmin> pull-debian-source from ubuntu-dev-tools can be useful
[16:14]  * mgedmin is not all that familiar with ubuntu archive tools/workflows; sometimes he publishes some packages into a PPA
[16:15] <mgedmin> I think at the moment ubuntu-gnome packagers are focusing on fixing bugs in 3.10 packages for the upcoming 14.04 release; 3.12 in the ppa will probably get some love once 14.04 is out
[16:15] <mgedmin> this is just speculation
[16:24] <fooctrl> ok, I'll think more about this whole situation
[20:47] <uwe__> is it ok to file a bug against the gnome3-staging ppa?
[20:50] <Noskcaj> uwe__, make the bug against "ubuntu-gnome"
[20:55] <uwe__> thanks