On Mon, Jun 06, 2022 at 02:37:51PM +0530, Nilesh Patra wrote: > On Mon, Jun 06, 2022 at 10:28:13AM +0200, Domenico Andreoli wrote: > > I know I should not amend on a public repo, next time I'll do my dirty > > stuff in a PR, but considering that the project > > I am not sure what the problem might be you could still do your > changes on top of the branch right? > Why do you want to prune a commit? It's just one single commit after all.
That was also ok indeed, just my second choice. > > > is only a few days old, > > I doubt anybody is already tracking it. > > > > I desire then to revert the head of golang-github-flowstack-go-jsonschema > > [2] to 945e6ba1a94356eb9c00aac9f3f567fa082a01d1. > > But heh - fine. > I did a hard reset to that commit and force-pushed - which I really should > not be doing but... anyway ok for a 1-time thing. Nice :) > Let me know if you would like help with anything else. Thanks! Dom -- rsa4096: 3B10 0CA1 8674 ACBA B4FE FCD2 CE5B CF17 9960 DE13 ed25519: FFB4 0CC3 7F2E 091D F7DA 356E CC79 2832 ED38 CB05
signature.asc
Description: PGP signature
