[PR #21] [MERGED] To disable comments the command is actually --nocomments=true #240

New issue

Closed

opened 2026-03-07 20:42:28 +03:00 by kerem · 0 comments

kerem commented

2026-03-07 20:42:28 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/DBDiff/DBDiff/pull/21
Author: @amontalban
Created: 8/12/2016
Status: ✅ Merged
Merged: 8/25/2016
Merged by: @jasdeepkhalsa

Base: gh-pages ← Head: gh-pages

📝 Commits (1)

ee668d9 To disable comments the command is actually --nocomments=true

📊 Changes

1 file changed (+4 additions, -4 deletions)

View changed files

📝 index.html (+4 -4)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/DBDiff/DBDiff/pull/21 **Author:** [@amontalban](https://github.com/amontalban) **Created:** 8/12/2016 **Status:** ✅ Merged **Merged:** 8/25/2016 **Merged by:** [@jasdeepkhalsa](https://github.com/jasdeepkhalsa) **Base:** `gh-pages` ← **Head:** `gh-pages` --- ### 📝 Commits (1) - [`ee668d9`](https://github.com/DBDiff/DBDiff/commit/ee668d96b465550014ec1361edfbd62ed963d4be) To disable comments the command is actually --nocomments=true ### 📊 Changes **1 file changed** (+4 additions, -4 deletions) <details> <summary>View changed files</summary> 📝 `index.html` (+4 -4) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>