On 4 Nov 2019, at 1:18, Ivan Vučica wrote:
I checked the directory instead and there's files there: <https://github.com/plaurent/gnustep-build/tree/master/debian-10-clang-8.0>Looks like there's versioning on top of versioning in that repo?
yep it is. Some forks of the same script for different distributions in the same repo and fork. It’s the way we do it currently. What would be your preferred way to do it?
