=== chihchun_afk is now known as chihchun === chihchun is now known as chihchun_afk [07:00] Is the Debian importer stuck? It still hasn’t imported the workrave upload from two days ago. [07:00] According to jbicha on #ubuntu-devel, it also did not import gnome-settings-daemon 3.22.2-3. [07:10] mitya57: Yeah, we discovered a couple of ours ago that debmirror's failing for some reason. We're investigating. === JanC is now known as Guest1067 === JanC_ is now known as JanC [08:29] mitya57: debmirror is fixed, so imports should be running as normal now. Expect packages to be available in 2-3 hours. [08:30] wgrant, great, thanks! [22:36] cjwatson: maybe i'm missing it in the web service documentation, but given a branch_merge_proposal object, is the ID itself available? Or is it reasonable to use the last part of the web_link to extract it? Basically am working on `git ubuntu submit` that opens the merge proposal against the imported repository for review, but we might be in a detached head state and I'm trying to come up with a good [22:36] naming scheme for the branch eventually (the resulting MP seems reasonable)