From 2d0393a33a4d0ac873ee7c7fb8eb1bbe3af2d72a Mon Sep 17 00:00:00 2001
From: Antoine Martin <antoine97.martin@gmail.com>
Date: Sun, 3 Jan 2021 01:25:10 +0100
Subject: [PATCH] Document GitLab skip CI magit flag

---
 config.org | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/config.org b/config.org
index 0f45bcd..43d18cf 100644
--- a/config.org
+++ b/config.org
@@ -39,6 +39,7 @@
   - [[#export-backends][Export backends]]
   - [[#doom-specific][Doom specific]]
 - [[#magit][Magit]]
+  - [[#gitlab-ci-skip-flag][Gitlab CI skip flag]]
 
 * Misc
 
@@ -507,8 +508,15 @@ one. Taken from [[https://github.com/hlissner/doom-emacs/tree/develop/modules/la
 
 * Magit
 
+** Gitlab CI skip flag
+
+This option tells GitLab to skip the CI run for this push, in case I know it's
+not ready yet.
+
 #+BEGIN_SRC emacs-lisp
 (after! magit
   (transient-append-suffix 'magit-push "-n"
     '(4 "-s" "Skip GitLab CI" "--push-option=ci.skip")))
 #+END_SRC
+
+GitLab push options are documented [[https://docs.gitlab.com/ee/user/project/push_options.html][here]].