Gino, 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) John On Tue, Aug 9, 2016 at 6:40 PM Gino Bustelo <g...@bustelos.com> 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 >
