Git: Merge redundand commits into one
git reset --soft HEAD~7 git commit -m "Add stickyNavbar.js" git push --force REM From https://github.com/jsdelivr/jsdelivr/pull/843