incubator-general mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "John D. Ament" <>
Subject Re: Github Mirror
Date Tue, 09 Aug 2016 22:49:10 GMT

This one has caught me before.  Branch deletions don't get picked up on the
github sync.  You need to actually commit a change to a branch for it to
sync.  At which point it will sync the repo.

If there's a change you can push to a branch, would be good (kind of
puzzling why there's no commits in about 2 months)


On Tue, Aug 9, 2016 at 6:40 PM Gino Bustelo <> wrote:

> Not sure what I'm missing, but I did some branch cleanup on the Toree repo
> and I'm not seeing them taking effect on the github mirror.
> I confirms that other users can fetch upstream and see my new branch, but I
> do not see it in github. What am I missing?
> Thanks,
> Gino

  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message