[PR #11] [MERGED] Create philippd.json #16

New issue

Closed

opened 2026-03-01 15:36:10 +03:00 by kerem · 0 comments

kerem commented

2026-03-01 15:36:10 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/bludit/plugins-repository/pull/11
Author: @philippdormann
Created: 10/19/2018
Status: ✅ Merged
Merged: 10/20/2018
Merged by: @dignajar

Base: master ← Head: patch-1

📝 Commits (1)

0964749 Create philippd.json

📊 Changes

1 file changed (+15 additions, -0 deletions)

View changed files

➕ authors/philippd.json (+15 -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/bludit/plugins-repository/pull/11 **Author:** [@philippdormann](https://github.com/philippdormann) **Created:** 10/19/2018 **Status:** ✅ Merged **Merged:** 10/20/2018 **Merged by:** [@dignajar](https://github.com/dignajar) **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`0964749`](https://github.com/bludit/plugins-repository/commit/0964749e3b000ae4b561e6696e0d73bad5c40579) Create philippd.json ### 📊 Changes **1 file changed** (+15 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `authors/philippd.json` (+15 -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>