Mastodon FeedJul 4, 2021, 9:29 PM fribbledom ("muesli") wrote: I guess it should have actually been F5, but alas 😄 Here's my quick-load: git reset --hard origin/main F10