I donât think the following git reset --hard HEAD requires a prior git add --all?
Also not sure if there is any security risk in adding any extraneous files. These extraneous files arenât covered by gpg verification.
I have difficulties documenting this since that command could potentially wipe out any modifications that a user might have made in the source folder.
Following these commands I am getting:
warning: unable to rmdir âpackages/kicksecure-network-confâ: Directory not empty
HEAD is now at f73bb0e4
IIUC you arenât actually using any of the extra non-signed code since you are reverting to the HEADstate which follows a signed tag.
Also acording to this thread using git reset --hard will not remove untracked files, where as git-clean will remove any files from the tracked root directory that are not under Git tracking. Remove means delete in this case?
Documentation updated. That keeps care of removing extraneous (newer) submodules/packages as well as checking out the right commit of the submoduels (it is âkindaâ (?) doing git submodule update).