Scott Mansell e38c0a1bbd lint: replace egrep with grep -E
Starting with grep 3.8, egrep throws the following warning
   egrep: warning: egrep is obsolescent; using grep -E

Whch is annoying... so we will use grep -E
2023-02-02 17:23:40 +13:00
..
2023-02-02 17:23:40 +13:00