References

  • https://github.com/blog/2019-how-to-undo-almost-anything-with-git