[PR #36] [CLOSED] Docker compatibility #242

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/36
Author: @stevepereira
Created: 2/16/2017
Status: ❌ Closed

Base: master ← Head: dockerfile

📝 Commits (2)

0539a9b Create Dockerfile
7b1c9f3 Create .dockerignore

📊 Changes

2 files changed (+18 additions, -0 deletions)

View changed files

➕ .dockerignore (+1 -0)
➕ Dockerfile (+17 -0)

📄 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/36 **Author:** [@stevepereira](https://github.com/stevepereira) **Created:** 2/16/2017 **Status:** ❌ Closed **Base:** `master` ← **Head:** `dockerfile` --- ### 📝 Commits (2) - [`0539a9b`](https://github.com/DBDiff/DBDiff/commit/0539a9bf5e68a8232358bf55eb3073700c5f2464) Create Dockerfile - [`7b1c9f3`](https://github.com/DBDiff/DBDiff/commit/7b1c9f35090ddf639c24990f6c02ce2be728109c) Create .dockerignore ### 📊 Changes **2 files changed** (+18 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `.dockerignore` (+1 -0) ➕ `Dockerfile` (+17 -0) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>