Github squash commits from web interface on pull request after review comments?

by

You don’t have to do any rebase/squashing locally anymore: just push your commit to your PR branch.

The owner of the original repo, if he/she chose to, will squash those commits for you (since March 2016):

https://help.github.com/assets/images/help/pull_requests/squash-and-merge.png

See “Squash your commits” and the documentation: it does allow for a new workflow, both for you the contributor, and the maintainer of the original repo.

As I comment below: it will be implemented like the merge of a PR is implemented:

  • If it works without conflict, the merge (or here, the merge --squash: see “In git, what is the difference between merge --squash and rebase?“) will be created automatically.
  • If there is any conflict, the merge is not created, and the maintainer has the option to reject for now the PR, asking the contributor to do the work of squashing the commits and amending the PR.

This is really like what exists now, except GitHub has added the --squash to their merge command. Nothing more.

More Related Contents:

  1. How can I remove a commit on GitHub? [duplicate]
  2. Git commands that could break/rewrite the history
  3. Git push requires username and password
  4. Git submodules in .gitmodules not initialized
  5. Updating a local repository with changes from a GitHub repository
  6. How to git-cherry-pick only changes to certain files?
  7. Link to the issue number on GitHub within a commit message
  8. What is the best practice for dealing with passwords in git repositories?
  9. git ahead/behind info between master and branch?
  10. GitHub “fatal: remote origin already exists”
  11. Github: error cloning my private repository
  12. How to update a pull request from forked repo?
  13. Git’s famous “ERROR: Permission to .git denied to user”
  14. GitHub clone from pull request?
  15. GitHub: Permission denied (publickey). fatal: The remote end hung up unexpectedly
  16. Jenkins – how to build a specific branch
  17. Why does “git push main” work on GitHub when “git push master” does not? Also what is difference between “Main branch” and “Master branch”?
  18. Git push hangs when pushing to Github?
  19. Error when “git push” to github
  20. Delete local Git branches after deleting them on the remote repo
  21. How to protect “master” in github?
  22. Issue pushing new code in Github
  23. GitHub changes repository to the wrong language
  24. Why does git revert complain about a missing -m option?
  25. Github API – create branch?
  26. How to properly commit in repository with Github Pages branch
  27. Support for password authentication was removed on August 13, 2021
  28. Add commits before root commit in Git? [duplicate]
  29. git – remote add origin vs remote set-url origin
  30. git clone with HTTPS or SSH remote?

Leave a Comment