gitlab: Add support for pull requests

"pull requests" are minder's name for merge request, this adds support for these in the gitlab provider. Signed-off-by: Juan Antonio Osorio <[email protected]>
stacklok · Oct 4, 2024 · 53a8059 · 53a8059
1 parent 6597841
commit 53a8059
Show file tree

Hide file tree

Showing 10 changed files with 6,787 additions and 3,449 deletions.
diff --git a/docs/docs/ref/proto.md b/docs/docs/ref/proto.md