diff options
author | Mohammad Alsaleh <msal@i2pmail.org> | 2012-08-12 00:24:57 +0000 |
---|---|---|
committer | Dan McGee <dan@archlinux.org> | 2012-09-18 08:39:18 -0500 |
commit | c926c39b0481ec3db931fff1f86db0c49d78976b (patch) | |
tree | 8d51d4543dee345857ca3ca9f0588f4e32a22839 /.gitattributes | |
parent | 34b52c9a60e43d84a8ea3930a19f8cbfa5815931 (diff) | |
download | pacman-c926c39b0481ec3db931fff1f86db0c49d78976b.tar.xz |
makepkg: check if $dir is a local clone of the right git repo
Before this patch, makepkg does not check if $dir is a local clone of
the right repo.
For example, git fetch would be run even if $dir is not a local
bare clone of a git repo in present in source(), but a subdir of
a checked-out one. That means makepkg can potentially fetch from
a completely unrelated remote and update completely unrelated
dirs/files.
This patch adds a check to make sure we are fetching from the right
remote.
Signed-off-by: Mohammad Alsaleh <msal@i2pmail.org>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions