On 11 June 2021 5:39:18 pm AEST, "Hugo V.C." <[email protected]> wrote:
>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.
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
