Problemsby IbisTrouble with GitHub pull
Dev tooling2 posts from 2 people2d active+00 posts in the last 7 days, 0 the 7 days before (fading)Unverified
Posts per day
The posts behind it
2, newest firstRequired workflow not triggered by on: pull_request: types: edited...on GitHub for this issue back in 2021/2023, but they have been marked as closed.. Any workarounds available?.Stack Overflow [github-actions] · Michael Schoder3 votes, 1 repliesOpen ↗CI: Python and TypeScript workflows run twice per PR commit (push + pull_request)## Problem `.github/workflows/python.yml` and `.github/workflows/typescript.yml` trigger on both `push` and `pull_request`. Every commit pushed to a branch with an open PR therefore runs each workflow twice, and the PR's checks list shows every job twice: once `(push)`, once...modelcontextprotocol/servers · cliffhallOpen ↗
Companies and products named
About this problem
Evidence
2 posts from 2 people in 2 places, about 2 a week over 3 days. Mostly on Stack Overflow [github-actions], modelcontextprotocol/servers. Tools named alongside: GitHub Actions, Model Context Protocol.
Frustration Frustration 0 of 3· Seen on Stack Overflow, GitHub issues
How it was grouped
Posts about GitHub with no known issue, sharing the word "pull". First post Oct 5, 2026, latest Oct 7, 2026. Unverified: fewer than 3 posts, or one person or place only. Method
Other GitHub problems
Trouble with GitHub terminalTrouble with GitHub nextGitHub dependency conflicts break installsTrouble with GitHub checkGitHub outages and slowdowns disrupt workMigrating to or off GitHub is slow and riskyGitHub rate limits and usage caps block workRAG on GitHub returns irrelevant or missing contextTrouble with GitHub testGitHub lock-in makes switching costlyTrouble with GitHub proxyGitHub vulnerabilities are hard to triage and patch
History
Trouble with GitHub pull (2 posts)