search

project-everest / everest

https://project-everest.github.io/
Apache License 2.0
193 stars 29 forks source link

introduce 'everest advance' #75

Closed mtzguido closed 4 years ago

mtzguido commented 4 years ago

Does something like this already exists? It's a shortcut to updating every, or the named subprojects to master.

Would need a few tweaks before merging, but curious how the CI machine does this? Have I just missed the relevant command?

Here's an example of advancing F*:

./everest FStar advance
# Switching to the everest directory ... now in /home/guido/r/everest

Advancing FStar
~/r/everest/FStar ~/r/everest
Already on 'master'
Your branch is behind 'origin/master' by 10 commits, and can be fast-forwarded.
  (use "git pull" to update your local branch)
HEAD is now at 15fe9e9322 Merge branch 'master' of github:FStarLang/FStar
~/r/everest

I suppose it's similar to ./everest forall git pull?

mtzguido commented 4 years ago

Good point, thanks! Just added a very conservative check for that. I reused --yes to skip the check, let me know if a separate -f/--force would be better.

Also a tweak to the sorting hashes.sh logic, apparently case-sensitivity varies across systems (or locales maybe).

mtzguido commented 4 years ago

Ping, totally non urgent but would come in handy for me.

msprotz commented 4 years ago

Sorry, I thought you'd merge after I approved. All looks good, thanks!!