Oliver Smith cfd93bc6ea pmbootstrap status: check if git repo is outdated (!1882) ... 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		2020-03-14 19:15:32 +03:00
..
__init__.py	pmbootstrap status: check if git repo is outdated (!1882)	2020-03-14 19:15:32 +03:00
init.py	pmb: Look for device/* files in device/*/... instead (!1879)	2020-03-14 08:44:16 +01:00
load.py	Cosmetic: use SPDX license header (!1877)	2020-02-24 03:11:10 +03:00
merge_with_args.py	Cosmetic: use SPDX license header (!1877)	2020-02-24 03:11:10 +03:00
pmaports.py	Cosmetic: use SPDX license header (!1877)	2020-02-24 03:11:10 +03:00
save.py	Cosmetic: use SPDX license header (!1877)	2020-02-24 03:11:10 +03:00
workdir.py	pmb.config.workdir: save/check chroot init date (!1878)	2020-02-24 18:18:38 +01:00