Filtering for "Error"

• 2023-02-27 Git hangs on git pull or git fetch
• 2023-02-17 Errors and bugs
• 2022-12-12 When to use implicit else