Closed masinter closed 2 years ago
Was this just a default invocation of the prc command?
I don’t see this now, it may be something that I already fixed.
What is the date of your gitfns?
On May 29, 2022, at 5:41 PM, Larry Masinter @.***> wrote:
https://user-images.githubusercontent.com/1116587/170898497-8cee87b9-bf4c-42cf-930c-519005ed7703.png probably calling with the commit ID rather than commit name would be safer.
— Reply to this email directly, view it on GitHub https://github.com/Interlisp/medley/issues/783, or unsubscribe https://github.com/notifications/unsubscribe-auth/AQSTUJPMFLZK722W53HPWWTVMQFCZANCNFSM5XI6DNVA. You are receiving this because you are subscribed to this thread.
I thought I had started with gh pr checkout 777
and a new loadup, but when I tried it just now, I didn't get the error.
So maybe I was mistaken, will close this issue now.
probably calling with the commit ID rather than commit name would be safer.