On 11 June 2021 5:39:18 pm AEST, "Hugo V.C."
Hi,
I'm trying to start a new "clean" repo init in my "/seL4/sel4webserver" directory so I deleted everything there, then I executed:
repo forall -c "git reset --hard HEAD" repo forall -c "git clean -df"
the I executed:
repo init -u https://github.com/SEL4PROJ/sel4webserver-manifest.git repo sync
but when I go to the "/projects/webserver/lighttpd" directory and check the content of local "lighttpd.sh" I see different (old) content than what you can see via web interface here:
Repo checks out a version that is in a manifest, that may not be the latest version. To get the tip of the tree in a repository you need to use git commands directly in the directory. So if you do git checkout HEAD In your lighthttp directory you should get the latest changes. -- Sent from my Android device with K-9 Mail. Please excuse my brevity.