Use the timestamp of .git/FETCH_HEAD in each git repository, to determine if too much time has passed since the last fetch/pull. Modify pmb.helpers.git.clone, so FETCH_HEAD is always created if it does not exist (because "git clone" would not create it). Related: #1829 |
||
---|---|---|
.. | ||
aportgen | ||
build | ||
chroot | ||
config | ||
data | ||
export | ||
flasher | ||
helpers | ||
install | ||
parse | ||
qemu | ||
__init__.py |