[PR #51] [MERGED] Setup release workflow #60

New Issue

admin · 2026-01-24T11:24:59+01:00

admin commented

2026-01-24 11:24:59 +01:00

📋 Pull Request Information

Original PR: https://github.com/doctrine/reflection/pull/51
Author: @greg0ire
Created: 10/27/2020
Status: ✅ Merged
Merged: 10/27/2020
Merged by: @greg0ire

Base: 1.2.x ← Head: greg0ire-patch-1

📝 Commits (1)

db4b566 Setup release workflow

📊 Changes

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

View changed files

➕ .github/workflows/release-on-milestone-closed.yml (+45 -0)

📄 Description

Blocked by #50

_{🔄 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/51 **Author:** [@greg0ire](https://github.com/greg0ire) **Created:** 10/27/2020 **Status:** ✅ Merged **Merged:** 10/27/2020 **Merged by:** [@greg0ire](https://github.com/greg0ire) **Base:** `1.2.x` ← **Head:** `greg0ire-patch-1` --- ### 📝 Commits (1) - [`db4b566`](https://github.com/doctrine/reflection/commit/db4b5664643072bb001dd35f9e0794e901734061) Setup release workflow ### 📊 Changes **1 file changed** (+45 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `.github/workflows/release-on-milestone-closed.yml` (+45 -0) </details> ### 📄 Description Blocked by #50 --- <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:59 +01:00

admin closed this issue

2026-01-24 11:24:59 +01:00

admin referenced this issue

2026-01-24 11:25:01 +01:00

[PR #60] [MERGED] Mark project as inactive #72

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: doctrine/reflection#60