[PR #209] [MERGED] Don't run git-ai on PR close events. #331

New issue

Closed

opened 2026-03-02 04:13:19 +03:00 by kerem · 0 comments

kerem commented

2026-03-02 04:13:19 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/git-ai-project/git-ai/pull/209
Author: @mm-zacharydavison
Created: 11/11/2025
Status: ✅ Merged
Merged: 11/11/2025
Merged by: @svarlamov

Base: main ← Head: bugfix/dont-run-git-ai-on-github-closed-events

📝 Commits (1)

2fb0b45 Don't run git-ai on PR close events.

📊 Changes

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

View changed files

📝 src/ci/workflow_templates/github.yaml (+1 -0)

📄 Description

We were seeing some % of our git-ai PR runs fail with:

git-ai	Run git-ai	2025-11-11T07:28:09.7089153Z No GitHub CI context found

After looking into this, it's because the PRs were closed.
Since we don't need to maintain authorship data from a closed PR (in fact it would lead to bad state), I've updated to only run on merged PRs.

_{🔄 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/git-ai-project/git-ai/pull/209 **Author:** [@mm-zacharydavison](https://github.com/mm-zacharydavison) **Created:** 11/11/2025 **Status:** ✅ Merged **Merged:** 11/11/2025 **Merged by:** [@svarlamov](https://github.com/svarlamov) **Base:** `main` ← **Head:** `bugfix/dont-run-git-ai-on-github-closed-events` --- ### 📝 Commits (1) - [`2fb0b45`](https://github.com/git-ai-project/git-ai/commit/2fb0b45c4d35522a3994754b1e324080e2ffeb8e) Don't run git-ai on PR close events. ### 📊 Changes **1 file changed** (+1 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `src/ci/workflow_templates/github.yaml` (+1 -0) </details> ### 📄 Description We were seeing some % of our `git-ai` PR runs fail with: ``` git-ai Run git-ai 2025-11-11T07:28:09.7089153Z No GitHub CI context found ``` After looking into this, it's because the PRs were closed. Since we don't need to maintain authorship data from a closed PR (in fact it would lead to bad state), I've updated to only run on merged PRs. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>