[gnome-builder] plugins/todo: cleanup unneccessary warning

[Christian Hergert <chergert src gnome org>]

commit dadb4b03fe4b03035183bc423d7715a45aeb53cb
Author: Christian Hergert <chergert redhat com>
Date:   Tue Sep 13 18:43:28 2022 -0700

    plugins/todo: cleanup unneccessary warning

 src/plugins/todo/gbp-todo-workspace-addin.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/src/plugins/todo/gbp-todo-workspace-addin.c b/src/plugins/todo/gbp-todo-workspace-addin.c
index 9e02e7afa..4559ed20b 100644
--- a/src/plugins/todo/gbp-todo-workspace-addin.c
+++ b/src/plugins/todo/gbp-todo-workspace-addin.c
@@ -55,7 +55,10 @@ gbp_todo_workspace_addin_mine_cb (GObject      *object,
   self->is_global_mining = FALSE;
 
   if (!gbp_todo_model_mine_finish (model, result, &error))
-    g_warning ("todo: %s", error->message);
+    {
+      if (!ide_error_ignore (error))
+        g_warning ("%s", error->message);
+    }
 
   if (self->panel != NULL)
     gbp_todo_panel_make_ready (self->panel);