Am Fri, Apr 14, 2023 at 03:29:01PM -0400 schrieb Maxim Cournoyer: > The staging branch has been merged to master.
Thanks and congratulations! > Should we remove the branch from Cuirass and Guix, knowing that teams > is the way going forward? Definitely! I will go ahead and do so. If we want a staging branch at any time in the future, it had better be spin off from master anyway. By the way, I started cleaning up a few cuirass specs (for deleted branches, for instance), but I suspect more could go. Andreas
