Hi, In iceberg, you have to go to package tab and say "remove package from disk"
Esteban > On 30 Jul 2017, at 17:01, Esteban A. Maringolo <emaring...@gmail.com> wrote: > > I got into the pharo-local/iceberg/... and git rm'ed the directory, > commited and synchronized the project in Iceberg. > > I hope it doesn't break anything since I don't know how much "magic" > does Iceberg behind the scenes other than automating the git commands > and providing a centralized UI. > > What is the "This is all you need to read to understand Iceberg?" > document I should read? I read its wiki, but it seems there is more to > go. > > Regards! > > Esteban A. Maringolo > > > 2017-07-30 11:28 GMT-03:00 Peter Uhnak <i.uh...@gmail.com>: >> This was supposedly fixed in April >> https://github.com/pharo-vcs/iceberg/issues/317 >> >> however I had the same issue ~two months ago, so I had to delete the >> packages by hand. >> >> P >> >> >>> On Sun, Jul 30, 2017 at 11:04:20AM -0300, Esteban A. Maringolo wrote: >>> Hi, >>> >>> I'm playing around with Iceberg in Pharo 6, and even when I find the >>> workflow streamlined, but since it doesn't map 1:1 with git workflow >>> from other IDEs or command line, I find myself not knowing how to do >>> certain tasks. >>> >>> One thing that happened is that I published a few packages to one of >>> my repos in Github, then I decided to remove one of the packages from >>> the repo, then I synchronized it but in the repo there is still is the >>> package folder for the package I removed. >>> >>> What should I do to definitely remove those files from the commit? >>> >>> Regards! >>> >>> Esteban A. Maringolo >>> >> >