On Tue, Feb 12, 2019 at 3:58 PM sebb <seb...@gmail.com> wrote: > Deleted from local and remote. > But it still exists in the upstream from which the Github repo was forked > > It is still in the upstream source - that is a 3rd party repo > How can I restore it from there?
It's easy then: - make sure you have the upstream repo as a remote (use "git remote add" if it's not there) - git fetch <original_remote> Create your local branch: - git checkout -b <local_branch> <original_remote>/<branch_name> Push your local branch to your remote: - git push <your_remote> HEAD:<branch_name> -- Marcelo --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org
