Demo: reviewing easyconfig pull requests with eb --review-pr

(see also Comparing with existing easyconfigs (--review-pr))

---

Last update: December 3, 2022