$ git status
On branch master
Your branch is behind 'origin/master' by 1438 commits, and can be
fast-forwarded.
(use "git pull" to update your local branch)
$ git log origin/master
commit f29f80c194d0c534a92354b2bc19022a9b70ecf8 (origin/master, origin/HEAD)
Merge: c034088e37 7947d47c9b
Author: Efraim Flashner <efr...@flashner.co.il>
Date: Wed Feb 28 12:18:45 2024 +0200
Merge branch 'rust-team'
Change-Id: Iee31c5de29c357c822f60df4fa8ce758779eb349
Congratulations to the Rust team (aka Efraim) for this big endeavour!
Andreas
