That should have worked. If we want to chase this down we can check the commits list to see if the delete was recorded.
I'd guess someone else recreated the branch with a bare push. On Mon, Jun 1, 2020, 17:59 Nick Dimiduk <[email protected]> wrote: > git push origin :HBASE-24049-packaging-integration-hadoop-2.10.0 > > where > > origin https://gitbox.apache.org/repos/asf/hbase.git (fetch) > > On Mon, Jun 1, 2020 at 3:40 PM Sean Busbey <[email protected]> wrote: > > > how did you delete it? > > > > On Mon, Jun 1, 2020 at 4:13 PM Nick Dimiduk <[email protected]> wrote: > > > > > Heya, > > > > > > I deleted an old feature branch of mine, only to find Gitbox restored > it > > on > > > subsequent pull. Is there some procedure for deleting branches? > > > > > > Thanks, > > > Nick > > > > > > 0 git … remote update --prune > > > Fetching origin > > > From https://gitbox.apache.org/repos/asf/hbase > > > * [new branch] > > HBASE-24049-packaging-integration-hadoop-2.10.0 > > > -> origin/HBASE-24049-packaging-integration-hadoop-2.10.0 > > > > > >
