[PR #1] [MERGED] autoconf, configure, and make all create artifacts we should ignore #1

New Issue

admin · 2026-01-24T11:39:08+01:00

admin commented

2026-01-24 11:39:08 +01:00

📋 Pull Request Information

Original PR: https://github.com/php/doc-gtk/pull/1
Author: @ramsey
Created: 4/8/2015
Status: ✅ Merged
Merged: 4/8/2015
Merged by: @php-pulls

Base: master ← Head: ignore-file

📝 Commits (1)

3519a55 autoconf, configure, and make all create artifacts we need to ignore

📊 Changes

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

View changed files

➕ .gitignore (+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/php/doc-gtk/pull/1 **Author:** [@ramsey](https://github.com/ramsey) **Created:** 4/8/2015 **Status:** ✅ Merged **Merged:** 4/8/2015 **Merged by:** [@php-pulls](https://github.com/php-pulls) **Base:** `master` ← **Head:** `ignore-file` --- ### 📝 Commits (1) - [`3519a55`](https://github.com/php/doc-gtk/commit/3519a55e6592c2c06e128193a0a475f7ab3d52a3) autoconf, configure, and make all create artifacts we need to ignore ### 📊 Changes **1 file changed** (+15 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `.gitignore` (+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>

admin added the pull-request label 2026-01-24 11:39:08 +01:00

admin closed this issue

2026-01-24 11:39:09 +01:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: php/doc-gtk#1