Release to Gradle Plugin Repo

[tricktron]

The plugin is almost ready for its maiden release. Some things to consider first:

• https://github.com/tricktron/frege-gradle-plugin/issues/14
• Add javadoc to GitHub page so that documentation is always up to date. See https://stackoverflow.com/questions/15347808/display-javadocs-on-github/15364790
• Follow https://docs.gradle.org/current/userguide/publishing_gradle_plugins.html and https://plugins.gradle.org/docs/publish-plugin

[nea89o]

while this isnt published to the gradle repo, something similar can be achieved by using gradles plugin management functionality

pluginManagement {
    repositories {
        mavenCentral()
        gradlePluginPortal()
        maven(url = "https://jitpack.io/") {
            content {
                includeGroupByRegex("(com|io)\\.github\\..+")
            }
        }
    }
    resolutionStrategy {
        eachPlugin {
            when (requested.id.id) {
                "ch.fhnw.thga.frege" -> useModule("com.github.tricktron:frege-gradle-plugin:${requested.version}")
            }
        }
    }
}

[tricktron]

@romangraef Nice alternative solution, thanks.