git-bug, git-cola, gitlint: add page (#6444)

pages/common/git-bug.md

@@ -0,0 +1,33 @@
+# git bug
+
+> A distributed bug tracker that uses git's internal storage, so no files are added in your project.
+> You may submit your problems to the same git remote you use to interact with others, much like commits and branches.
+> More information: <https://github.com/MichaelMure/git-bug/blob/master/doc/md/git-bug.md>.
+
+- Create a new identity:
+
+`git bug user create`
+
+- Create a new bug:
+
+`git bug add`
+
+- You can push your new entry to a remote:
+
+`git bug push`
+
+- You can pull for updates:
+
+`git bug pull`
+
+- List existing bugs:
+
+`git bug ls`
+
+- Filter and sort bugs using a query:
+
+`git bug ls "{{status}}:{{open}} {{sort}}:{{edit}}"`
+
+- Search for bugs by text content:
+
+`git bug ls "{{search_query}}" baz`

pages/common/git-cola.md

@@ -0,0 +1,24 @@
+# git cola
+
+> A powerful Git GUI with a slick and intuitive user interface.
+> More information: <https://git-cola.readthedocs.io/en/latest/>.
+
+- Start git cola:
+
+`git cola`
+
+- Start git cola in amend mode:
+
+`git cola --amend`
+
+- Prompt for a Git repository. Defaults to the current directory:
+
+`git cola --prompt`
+
+- Open the Git repository at mentioned path:
+
+`git cola --repo {{path/to/git-repository}}`
+
+- Apply the path filter to the status widget:
+
+`git cola --status-filter {{filter}}`

pages/common/gitlint.md

@@ -0,0 +1,28 @@
+# gitlint
+
+> Git commit message linter checks your commit messages for style.
+> More information: <https://jorisroovers.com/gitlint/>.
+
+- Check the last commit message:
+
+`gitlint`
+
+- The range of commits to lint:
+
+`gitlint --commits {{single_refspec_argument}}`
+
+- Path to a directory or python module with extra user-defined rules:
+
+`gitlint --extra-path {{path/to/directory}}`
+
+- Start a specific CI job:
+
+`gitlint --target {{path/to/target_directory}}`
+
+- Path to a file containing a commit-msg:
+
+`gitlint --msg-filename {{path/to/filename}}`
+
+- Read staged commit meta-info from the local repository:
+
+`gitlint --staged`