4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
altrisi	82a77f4ba8	Make rules-to-wiki Gradle 6 compatible	2020-10-25 12:48:56 +01:00
altrisi	286fdd9899	Fix merge-docs failing if nothing new to merge	2020-10-25 12:45:16 +01:00
altrisi	d8009a3719	Add GitHub Actions (#496) ... * Add Github actions Using bot's mail looks better in the wiki, since in main page it shows the pusher name but in the revisions tab it shows the bot. Allow failure is to prevent the commit appearing with a cross just because the wiki didn't change. It can probably also be fixed in the command part, but does the same * Rules-to-wiki 1.0	2020-10-22 17:04:27 -03:00
altrisi	020866c0e9	Change load method to Loader's entrypoints (#497) ... * Start moving away from noop mixins Remove the mixin from the json list * Change startup method to Loader entrypoints	2020-10-15 22:15:20 -03:00