The releases on github are lagging behind as these need to be done manually. @samuelgarcia and me propose to only use to only use pypi for releases and plain tags on github so ensure there's no conflicting latest release versions in different places. This implies deleting the already existing releases on github. @apdavison What do you think about this?
The releases on github are lagging behind as these need to be done manually. @samuelgarcia and me propose to only use to only use pypi for releases and plain tags on github so ensure there's no conflicting latest release versions in different places. This implies deleting the already existing releases on github. @apdavison What do you think about this?