Can we just redirect build.gnome.org to ostree.gnome.org ? Having it build apps or something like that on top of its root tree as a separate build process would be nice.
On Sun, Dec 30, 2012 at 12:12 PM, Cosimo Cecchi <[email protected]> wrote: > Maintaining the Debian jhbuild server running was quite a bit of manual > work for no clear benefit, so I turned it off at some point this fall. > If it's still useful for people, I can try to revive it but IMO Colin's > build server in #testable is a much better solution (even if it's not based > on jhbuild). Maybe we should try to have it also build another wider > gnome-apps-like moduleset? > > Cosimo > > > On Sun, Dec 30, 2012 at 5:50 PM, Andre Klapper <[email protected]> wrote: > >> http://build.gnome.org/ mentions 3.6 (past), the Fedora one seems to be >> offline, and the Debian one has not been updated since October. >> >> Does anybody feel responsible for this? >> >> andre >> -- >> Andre Klapper | [email protected] >> http://blogs.gnome.org/aklapper/ >> >> _______________________________________________ >> desktop-devel-list mailing list >> [email protected] >> https://mail.gnome.org/mailman/listinfo/desktop-devel-list >> > > > _______________________________________________ > desktop-devel-list mailing list > [email protected] > https://mail.gnome.org/mailman/listinfo/desktop-devel-list > -- Jasper
_______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
