[PR #13] [MERGED] Improved Dockerfile #759

New issue

Closed

opened 2026-02-25 20:36:38 +03:00 by kerem · 0 comments

kerem commented

2026-02-25 20:36:38 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/benbusby/whoogle-search/pull/13
Author: @Alpha200
Created: 5/10/2020
Status: ✅ Merged
Merged: 5/10/2020
Merged by: @benbusby

Base: master ← Head: improved-dockerfile

📝 Commits (1)

2daca9a Improved Dockerfile

📊 Changes

1 file changed (+6 additions, -2 deletions)

View changed files

📝 Dockerfile (+6 -2)

📄 Description

closes #11
closes #12

_{🔄 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/benbusby/whoogle-search/pull/13 **Author:** [@Alpha200](https://github.com/Alpha200) **Created:** 5/10/2020 **Status:** ✅ Merged **Merged:** 5/10/2020 **Merged by:** [@benbusby](https://github.com/benbusby) **Base:** `master` ← **Head:** `improved-dockerfile` --- ### 📝 Commits (1) - [`2daca9a`](https://github.com/benbusby/whoogle-search/commit/2daca9a352ab296a3aa2fe040b9d80b29ed330ee) Improved Dockerfile ### 📊 Changes **1 file changed** (+6 additions, -2 deletions) <details> <summary>View changed files</summary> 📝 `Dockerfile` (+6 -2) </details> ### 📄 Description closes #11 closes #12 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>