ci(branches): Add different branches to releases and tests, so people can download the different examples and use them.

ci: GitHub workflows for documentation, release mirroring from GitLab upon tag push, greetings and sponsor labels for issues