Mergifyio / Mergifyio/mergify

Can't embark on merge train: `Unable to update: user X is unknown.`

Open
#5,075 8 comments 2 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Dominant language
No language data
Stars
339
Forks
93
PR merge metrics
No merged PRs in 30d

Description

Expected Behavior

Github users can use a Github label to get their PR embarked on a merge train.

Actual Behavior

Here's the error message we currently get:

This pull request cannot be embarked for merge

The merge queue pull request can't be updated
Details:

Unable to update: user MozillaNoah is unknown.

Please make sure MozillaNoah has logged in Mergify dashboard.

Source: https://github.com/mozilla-mobile/firefox-android/pull/1217/checks?check_run_id=11997595835

Steps to Reproduce the Problem

  1. Have a user part of our Github organization mark a PR ready to embark on a merge train
  2. Wait for CI to complete
  3. When CI is ready, PR gets the error message above ⬆️

I'm not 100% sure but this looks like a recent regression. No one on the team has ever got this problem.

cc @rvandermeulen

Specifications

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start with the Mergify configuration in .mergify.yml and the linked GitHub check runs and pull requests, comparing the cases that failed with the one that worked. Trace the merge-train update path that produces the unknown-user error; done means organization users can embark their pull requests without this failure and the listed scenarios behave consistently.

Written by the indexing model from the issue text.

Assessment

Tech stack
github
Domain
ci-cd, devops
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.