mirror of
https://github.com/facebook/sapling.git
synced 2024-10-10 16:57:49 +03:00
811e56d49e
Summary: Better GitRepo name in gitimport logs. When several git-repositories was handled by the same running instance, and all of them being called `.git`in the logs where not that useful. Examples (when no name explicitly provided and git-import derives a name from the path to the git repository): path: `/home/matshakanson/.cache/git_cache/aosp/device/generic/goldfish` Note that the opened path is resolved to `/home/matshakanson/.cache/git_cache/aosp/device/generic/goldfish/.git` doe to not being a barren repository. derived name previous revision: `.git` derived name this revision: `/home/matshakanson/.cache/git_cache/aosp/device/generic/goldfish` Now why not just remove the `.git` portion if present (to handle barren repositories)? Well we often have a big tree of git repositories we opreate on, and the final directory name in the tree is not unique. So instead using the full path to remove any ambiguity. Note that this is just the default naming derived if the caller does not specify their own name . Reviewed By: krallin Differential Revision: D26697498 fbshipit-source-id: 3de893406525f88556f5bcd87abe238b7f2d8929 |
||
---|---|---|
.. | ||
git_types | ||
git-pool | ||
gitimport | ||
import_tools |