On Tue, Feb 12, 2019 at 5:03 PM sebb wrote:
> > Interesting, never seen that. Even just looked at one of my forks and
> > couldn't find it...
>
> It appears when I click on branches.
> This shows Overview/Yours/Active/Stale/All branches
Ah, I see. Guess I've never used that view.
IMO it doesn't
On Wed, 13 Feb 2019 at 00:47, Marcelo Vanzin
wrote:
>
> On Tue, Feb 12, 2019 at 4:44 PM sebb wrote:
> >
> > On Wed, 13 Feb 2019 at 00:31, Marcelo Vanzin
> > wrote:
> > >
> > > On Tue, Feb 12, 2019 at 4:25 PM sebb wrote:
> > > > It's shown as one of 'my' branches, but I guess I can live with tha
On Tue, Feb 12, 2019 at 4:44 PM sebb wrote:
>
> On Wed, 13 Feb 2019 at 00:31, Marcelo Vanzin
> wrote:
> >
> > On Tue, Feb 12, 2019 at 4:25 PM sebb wrote:
> > > It's shown as one of 'my' branches, but I guess I can live with that.
> >
> > Not sure what you mean by that?
>
> GitHub lists the resto
On Wed, 13 Feb 2019 at 00:31, Marcelo Vanzin
wrote:
>
> On Tue, Feb 12, 2019 at 4:25 PM sebb wrote:
> > It's shown as one of 'my' branches, but I guess I can live with that.
>
> Not sure what you mean by that?
GitHub lists the restored branch under the tab 'Yours', along with a
couple of branche
On Tue, Feb 12, 2019 at 4:25 PM sebb wrote:
> It's shown as one of 'my' branches, but I guess I can live with that.
Not sure what you mean by that?
The branches in your fork don't really have any relation to the
original repo. They may have the same name and even reference the same
commit, but y
On Wed, 13 Feb 2019 at 00:08, Marcelo Vanzin
wrote:
>
> On Tue, Feb 12, 2019 at 3:58 PM sebb 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
On Tue, Feb 12, 2019 at 3:58 PM sebb 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 u
On Tue, 12 Feb 2019 at 22:34, Marcelo Vanzin
wrote:
>
> If:
>
> - you deleted the branch from the remote
>
> Just push your local branch to the remote.
>
> - you deleted the branch from the local repo only
>
> Just checkout the remote branch again. If you had local changes that
> are not in the re
If:
- you deleted the branch from the remote
Just push your local branch to the remote.
- you deleted the branch from the local repo only
Just checkout the remote branch again. If you had local changes that
are not in the remote, continue below.
- you deleted the branch from local and it did n
I have a github fork of a 3rd party repo.
Unfortunately I deleted a branch for which I wish to provide patches.
Anyone know how to restore/recreate an upstream branch in a Github fork?
I cannot destroy and recreate the fork as it has some outstanding PRs.
I suppose I could create a second fork,
10 matches
Mail list logo
