[PRs] How to update on Github

[Nick Treleaven via Digitalmars-d]

On Tuesday, 19 April 2016 at 13:34:24 UTC, John Colvin wrote:
> On Tuesday, 19 April 2016 at 13:05:35 UTC, tcak wrote:
>
> I would recommend making a copy of the whole repository locally 
> before any of that just in case you mess something up, at least 
> while you're not as confident with git.

Isn't it enough to just:

git branch before-rebase

(You can also add -f to replace an existing backup branch).