I would also like that :)--On Fri, Nov 10, 2017 at 6:45 AM, Prof. Andrew P. Black <black@cs.pdx.edu> wrote:I would like to have the git repositories that I���m working from automatically added to the list of known repositories in Iceberg at startup time.�� In other words, I don;t want to have to do a bunch of ���Add local repository��� commands before I can start work.
What magic can I put in my settings.st file to make this happen?
�� �� �� �� Andrew