07:12:11 <ErCiccione> .merge+ 1765
07:12:11 <xmr-pr> Added
07:15:02 <Halver[m]1> .help
07:15:02 <xmr-pr> lolnub
07:15:32 <ErCiccione> lol. Merge bot is savage
07:17:44 <Halver[m]1> I presume that your frequent .merge commands are treated by a bot.
07:17:44 <Halver[m]1> I wanted to know what precisely this .merge command does.
07:17:44 <Halver[m]1> This is why I tried .help
07:30:20 <ErCiccione> the bot just keeps a list of PRs that are ready to be merged. So luigi can just take the list and merge stuff when it's time
07:32:03 <Halver[m]1> .merges
07:32:03 -xmr-pr- 1739 1746 1747 1749 1750 1752 1753 1755 1756 1758 1759 1763 1764 1765
07:32:32 <Halver[m]1> ah ok, I understand. Thanks.