Op 19 aug. 2016 22:05 schreef "Charles E Campbell" <drc...@campbellfamily.biz>:
> My solution so far
> involves manually saving the changed files, wiping out the repository
> copy on
> my local system, getting a fresh copy via git, and putting my changed files
> back. Is there a better solution?
'git stash push' and 'git stash pop'?
Christ van Willegen
Op 19 aug. 2016 22:28 schreef "Charles E Campbell" <drc...@campbellfamily.biz>:
>
> I tried git stash push instead of git push -- and it still doesn't work:
Probably only 'stash' then...
Christ van Willegen
git stash
git checkout / git revert
git stash pop
?
Sorry, getting terse, tablets are not helpful for cutting/pasting/editing...
Christ van Willegen