python support: rename git library to bpgit

There's a python git library, and our name conflicts
with it since it's also just called "git". I want to
use the python library (optionally) to speed up the
git accesses so this is now relevant.

Signed-off-by: Johannes Berg <johannes.berg@intel.com>

3 files changed, 4 insertions, 3 deletions

diff --git a/devel/git-tracker.py b/devel/git-tracker.py
index 9edc95cf..b74105ab 100755
--- a/devel/git-tracker.py
+++ b/devel/git-tracker.py
@@ -20,7 +20,8 @@ source_dir = os.path.dirname(source_dir)
 # add parent directory to path to get to lib/
 sys.path.append(source_dir)
 # import libraries we need
-from lib import git, tempdir
+from lib import tempdir
+from lib import bpgit as git
 import gentree
 
 # you can increase this if you really want ...
diff --git a/gentree.py b/gentree.py
index afe3645f..04ce0e36 100755
--- a/gentree.py
+++ b/gentree.py
@@ -9,8 +9,8 @@ import argparse, sys, os, errno, shutil, re, subprocess
 source_dir = os.path.abspath(os.path.dirname(__file__))
 sys.path.append(source_dir)
 # and import libraries we have
-from lib import kconfig, git, patch, make
-
+from lib import kconfig, patch, make
+from lib import bpgit as git
 
 def read_copy_list(copyfile):
     """
diff --git a/lib/git.py b/lib/bpgit.py
index d61d90a8..d61d90a8 100644
--- a/lib/git.py
+++ b/lib/bpgit.py