3 ms·Are those Github "releases" or git tags? Or are they using a specific branch for that?by BlueTemplar 7y agoAre those Github "releases" or git tags? Or are they using a specific branch for that?