dstndstn commented on PR #180:
URL: https://github.com/apache/guacamole-manual/pull/180#issuecomment-1193141384
Uh, sorry, I don't know that magical incantation. If I do a `git rebase -i
master` locally, I end up in a state where
```
Switched to branch 'guacamole-1501'
Your branch and 'origin/guacamole-1501' have diverged,
and have 1 and 4 different commits each, respectively.
(use "git pull" to merge the remote branch into yours)
```
I was under the impression that once commits were pushed to github, making
any changes to the history was a very bad idea.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
