14:41 < ddnet-commits> [ddnet] heinrich5991 opened pull request #1254: Rewrite stopper code a bit (master...pr_ddnet_stopper_rewrite) https://git.io/fNAHz
14:44 < ddnet-commits> [ddnet] heinrich5991 opened pull request #1255: Remove the unused import of the deprecated imp module (master...pr_ddnet_imp_warning) https://git.io/fNAHy
14:56 < ddnet-commits> [ddnet] Learath2 pushed 1 new commit to master: https://git.io/fNAQy
14:56 < ddnet-commits> ddnet/master 3e493bf Learath: Merge branch 'dd_pr_circle2'. Migrate to CircleCI 2.0
15:20 < ddnet-commits> [ddnet] Learath2 pushed 1 new commit to master: https://git.io/fNA52
15:20 < ddnet-commits> ddnet/master 9ce45dd Learath: Ignore bors temp branches
17:42 < ddnet-commits> [ddnet] heinrich5991 opened pull request #1256: Update bors.toml for CircleCI2 (master...pr_ddnet_circleci2_fix_bors) https://git.io/fNxTN
19:33 < ddnet-commits> [ddnet] bors[bot] merged staging into master: https://git.io/fNxZG
19:50 <@Nimda> New DDNet peak : 1789 users online at 2018-08-15 19:50:02
19:52 <@Nimda> New DDNet peak : 1810 users online at 2018-08-15 19:52:02
19:54 <@Nimda> New DDNet peak : 1825 users online at 2018-08-15 19:54:02
19:56 <@Nimda> New DDNet peak : 1841 users online at 2018-08-15 19:56:01
19:58 < ddnet-commits> [ddnet] bors[bot] merged staging into master: https://git.io/fNxcl
20:20 <@Nimda> New DDNet peak : 1843 users online at 2018-08-15 20:19:02
21:18 <@Nimda> New DDNet peak : 1852 users online at 2018-08-15 21:18:02
21:58 <@Nimda> New DDNet peak : 1854 users online at 2018-08-15 21:58:02
23:03 <@deen> :D