Closed lmammino closed 6 months ago
Just realising that this is possibly a duplicate of #100... Not sure why this is not visible though...
@lmammino #100 merged commit 0339c93 into the next
branch on 2023-07-05.
I can't find that commit any more in in the next
branch!
When you view the commit GitHub now displays the message:
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
@benkehoe , do you know what happened here? Has someone force-pushed over next
?
Sorry for the delay, and I don't know what happened. I just fixed it directly.
These avoids a first failed deployment with the annoying error: