[Reverted] GitHub Actions to add/remove label "stale" and comment

[totoprayogo1916]

Description
GA concept:

• Any changes made in the main branch will be automatically reviewed against all open pull requests (PRs). If a conflict arises, a label "stale" will be added, and a comment will be left to notify the contributors.
• Upon an update to a PR, a reevaluation will be conducted. If the PR has the "stale" label and there are no conflicts, the label will be removed.

Live Test: https://github.com/totoprayogo1916/github-playground/pull/13

Checklist:

• Securely signed commits

[totoprayogo1916]

cc @kenjis @ddevsr @paulbalandan

[kenjis]

Oh, thank you! This seems good.

[kenjis]

This workflow labeled for PRs with no conflicts, so I reverted.
#7947 (comment)
#7944 (comment)
#7925 (comment)

[totoprayogo1916]

@kenjis I believe the outcome of $mergeable yields an "UNKNOWN" result. Upon investigation, I discovered that $mergeable can result in three potential outcomes: "MERGEABLE," "CONFLICTING," or "UNKNOWN."

[totoprayogo1916]

Perhaps we could organize it in a way where "CONFLICTING" results take precedence.

[kenjis]

But if it is "UNKNOWN", we cannot put a label.

At least, I can see the outcomes:

$ gh pr list -L 100 --json mergeable,url 
[
  {
    "mergeable": "CONFLICTING",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7951"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7947"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7946"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7944"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7933"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7925"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7924"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7846"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7732"
  },
  {
    "mergeable": "CONFLICTING",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7724"
  },
  {
    "mergeable": "CONFLICTING",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7718"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7717"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7491"
  },
  {
    "mergeable": "CONFLICTING",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/7404"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/6877"
  },
  {
    "mergeable": "CONFLICTING",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/6845"
  },
  {
    "mergeable": "CONFLICTING",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/6284"
  },
  {
    "mergeable": "MERGEABLE",
    "url": "https://github.com/codeigniter4/CodeIgniter4/pull/1797"
  }
]

[totoprayogo1916]

Maybe it can be changed like this?

if [ "$mergeable" == "CONFLICTING" ] &&[[ ! "$labels" == *"stale"* ]]; then
    ...

[kenjis]

Yes, it is safe.

[totoprayogo1916]

The team point out that the merge state needs to be recalculated when the base branch changes. Since the codeignitier PR is based on their develop branch (https://github.com/codeigniter4/CodeIgniter4/tree/develop), it would make sense that there are periods of time where a PR mergeable field is UNKNOWN.

I hope this answers your question 🙏

got the answer, why UNKNOWN on $mergeable
cli/cli#8020 (reply in thread)

[kenjis]

Thanks. Can you send another PR with "$mergeable" == "CONFLICTING"?

[totoprayogo1916]

created #7957