07:14 <beerman> r0ni yeah kinda, just that you dont need to run it manually

07:16 <cruxbridge> <pitillo (@pitillo:crux.nu)> No run manually, keep track of issues, show a diff in the issue…. So many good things there :D

08:27 <crux-arm-bot> [ core-arm64/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu

08:30 <crux-arm-bot> [ core-arm/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu

08:34 <crux-arm-bot> [ core-arm-multiabi/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu

08:58 <crux-arm-bot> [ raspberrypi3-arm64/3.8 ]: ports: fixed .signature

09:02 <crux-arm-bot> [ raspberrypi4-arm64/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu

09:10 <crux-arm-bot> [ raspberrypi5-arm64/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu

09:13 <crux-arm-bot> [ raspberrypi4-arm64/3.8 ]: ports: bump release

09:22 <crux-arm-bot> [ pine64-arm64/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu

09:28 <crux-arm-bot> [ orangepi3b-arm64/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu

10:50 <crux-arm-bot> [ crux-ports-samsung-chromebook-arm ]: ports: migrate ports collections from github.com to git.crux.nu

10:55 <crux-arm-bot> [ odroidxu4-arm/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu

11:16 <crux-arm-bot> [ cubieboard-arm/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu

11:26 <crux-arm-bot> [ cubieboard2-arm/3.8 ]: ports: migrate ports collections from github.com to git.crux.nu