[PR #31] [MERGED] No doc files for distribution #41

New Issue

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

admin commented

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

📋 Pull Request Information

Original PR: https://github.com/doctrine/reflection/pull/31
Author: @Spomky
Created: 2/28/2020
Status: ✅ Merged
Merged: 2/28/2020
Merged by: @malarzm

Base: master ← Head: patch-1

📝 Commits (1)

2fc2828 No doc files for distribution

📊 Changes

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

View changed files

📝 .gitattributes (+1 -0)

📄 Description

This PR adds the folder /docs in .gitattributes so that it will not be present in distribution

_{🔄 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/31 **Author:** [@Spomky](https://github.com/Spomky) **Created:** 2/28/2020 **Status:** ✅ Merged **Merged:** 2/28/2020 **Merged by:** [@malarzm](https://github.com/malarzm) **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`2fc2828`](https://github.com/doctrine/reflection/commit/2fc2828857d829cd5d8306abf2550f872c977813) No doc files for distribution ### 📊 Changes **1 file changed** (+1 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `.gitattributes` (+1 -0) </details> ### 📄 Description This PR adds the folder `/docs` in .gitattributes so that it will not be present in distribution --- <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

admin referenced this issue

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

[PR #41] [MERGED] Manually merge 1.1.x into 1.2.x #49

admin referenced this issue

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

[PR #41] Manually merge 1.1.x into 1.2.x #51

Sign in to join this conversation.