Closed EduM22 closed 3 months ago
Thanks for your contribution. Could you please remove the third empty commit?
Thanks for your contribution. Could you please remove the third empty commit?
how do I do it?, Is it easier to create a new pull request?
Thanks for your contribution. Could you please remove the third empty commit?
how do I do it?, Is it easier to create a new pull request?
git rebase -i HEAD~3
is a useful tool if you want to change one of the last three commits. Or "drop" one in this case.
Although if the empty commit was at the HEAD, it's simpler to do:
git reset --hard HEAD~
and then a:
git push -f
people create new PRs sometimes to redo things, which is ok, but it's something you rarely have to do.
Thanks for your contribution. Could you please remove the third empty commit?
how do I do it?, Is it easier to create a new pull request?
git rebase -i HEAD~3
is a useful tool if you want to change one of the last three commits. Or "drop" one in this case.
Although if the empty commit was at the HEAD, it's simpler to do:
git reset --hard HEAD~
and then a:
git push -f
people create new PRs sometimes to redo things, which is ok, but it's something you rarely have to do.
Thanks for the help.
@slp is it up to spec now?
Hey guys,
anything holding this up?
Sorry, I lost track of this one. LGTM, merging it.
Added the ability to pass environment variable(s) to the microVM when starting it.