On 4/19/24 12:24, Alan M Varghese wrote:
If you feel it is worth it to push from my repo, please feel free to
do so.
Or, I am also okay with it if you just keep what you have done there
and we can iterate on top of it without pushing from my repo (from a
cursory look,
we just need to
Hello Mo,
Thank you for granting me access.
I believe this would require me to force push from local repo? Wouldn't this
result
in the loss of your own commit history?
Or we could merge the two from a different branch. But that feels like too much
work :p
If you feel it is worth it to
2 matches
Mail list logo
