[PR #30] [MERGED] Update of project config for latest version #42

Closed
opened 2026-01-24 11:24:55 +01:00 by admin · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/doctrine/reflection/pull/30
Author: @SenseException
Created: 1/28/2020
Status: Merged
Merged: 1/29/2020
Merged by: @SenseException

Base: masterHead: patch-1


📝 Commits (1)

  • d9cf1f3 Update of project config for latest version

📊 Changes

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

View changed files

📝 .doctrine-project.json (+2 -5)

📄 Description

Because of a failing website build the config for the latest version was adapted to the same version syntax like in other Doctrine projects.


🔄 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/doctrine/reflection/pull/30 **Author:** [@SenseException](https://github.com/SenseException) **Created:** 1/28/2020 **Status:** ✅ Merged **Merged:** 1/29/2020 **Merged by:** [@SenseException](https://github.com/SenseException) **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`d9cf1f3`](https://github.com/doctrine/reflection/commit/d9cf1f3deb0cd49aa77d40471ef4423487643e23) Update of project config for latest version ### 📊 Changes **1 file changed** (+2 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `.doctrine-project.json` (+2 -5) </details> ### 📄 Description Because of a failing website build the config for the latest version was adapted to the same version syntax like in other Doctrine projects. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
admin added the pull-request label 2026-01-24 11:24:55 +01:00
admin closed this issue 2026-01-24 11:24:55 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: doctrine/reflection#42