thirdshift 0.13.0

Turn a GitHub issue into a ready-for-review pull request, unattended
1
<nav aria-label="Pages"><a href="/?page=inbox" data-key="1" data-jump="i">1 Inbox</a><a href="/?page=lanes" data-key="2" data-jump="b">2 Lanes</a><a href="/?page=stages" data-key="3" data-jump="t">3 Stages</a><a href="/?page=waterfall" data-key="4" data-jump="f">4 Waterfall</a><a href="/?page=history" data-key="5" data-jump="h">5 History</a><a href="/?page=logs" data-key="6" data-jump="o">6 Logs</a><a href="/?page=security" data-key="7" data-jump="s">7 Security</a><a href="/console-log" data-jump="c">Console log</a><a href="/account" data-jump="a">Account</a></nav>