update crawler
This commit is contained in:
parent
41577a83d3
commit
0a9df7eaa1
3 changed files with 4 additions and 4 deletions
|
@ -1 +1 @@
|
|||
(import ./default.nix).extractor-fast
|
||||
(import ./default.nix {}).extractor-fast
|
||||
|
|
|
@ -16,7 +16,7 @@ let
|
|||
};
|
||||
cd_into_updated_proj_branch = name: dir: branch: email: ''
|
||||
if [ ! -e /home/${user}/${dir} ]; then
|
||||
git clone git@github.com:DavHau/${name}.git /home/${user}/${dir}
|
||||
git clone --depth 1 git@github.com:DavHau/${name}.git /home/${user}/${dir}
|
||||
cd /home/${user}/${dir}
|
||||
git config user.email "${email}"
|
||||
git config user.name "DavHau-bot"
|
||||
|
|
|
@ -1,8 +1,8 @@
|
|||
let
|
||||
mach-nix = import (builtins.fetchGit {
|
||||
url = "https://github.com/DavHau/mach-nix/";
|
||||
ref = "2.1.0";
|
||||
});
|
||||
ref = "refs/tags/3.2.0";
|
||||
}) {};
|
||||
in
|
||||
mach-nix.mkPython {
|
||||
requirements = ''
|
||||
|
|
Loading…
Reference in a new issue