tree 9e8b67b14ffcf136cc4ef427d3bb7ef6247dc8b2
parent 06bcc598095c83414def92911dc1f27f6a32dcbf
author Luca Milanesio <luca.milanesio@gmail.com> 1718666148 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1718797256 +0100

Introduce default github build target

All plugins are expected to have a main build target
having the same name as the plugin's directory.

Introduce the 'github' plugin which is the main node
of the dependency of all other targets, including the one
responsible for extracting the plugin's version into a version
file.

Change-Id: I9fb3694e5fb2c4cbf0455d54281ee2677429d16f