Minor changes to documentation

1nF0rmed · 1nF0rmed · commit 6e77fe9ea806 · 2020-12-29T17:09:37.000+05:30
diff --git a/doc/source/development/maintaining.rst b/doc/source/development/maintaining.rst
@@ -162,8 +162,8 @@ can comment::
 
 on that pull request. This will trigger a workflow which will autofix formatting errors.
 
-Backporting (optional)
-----------------------
+Backporting
+-----------
 
 In the case you want to apply changes to a stable branch from a newer branch then you
 can comment::
