=== vern_ is now known as vern [01:42] thumper: can you please add me as a committer to github.com/juju/mutex and/or merge my PR? [01:50] axw: ack [01:54] axw: we should get the bot lined up for it [01:54] axw: merged your PR while we get it sorted [01:54] thumper: thanks [01:54] veebers: care to add a card to your board? [02:12] thumper: sure, what card is that? [02:12] veebers: getting juju/mutex under auto landing [02:13] thumper: do you not have access to add cards to the backlog? [02:18] wallyworld: trivial review? https://github.com/juju/juju/pull/8039 [02:18] sure [02:19] lgtm [02:19] gracias === mup_ is now known as mup === mup_ is now known as mup === wgrant_ is now known as wgrant [07:14] axw: this is largely mechanical, but touches several files. if you get a chance, but no rush https://github.com/juju/juju/pull/8043 [07:25] wallyworld: gotta take charlotte to ballet soon, will try to take a look afterwards [07:32] axw: no worries, i'm in rush [07:32] *no === frankban_ is now known as frankban|afk