Commits

Breadcrumbs

History for

onrefs/heads/maintenance/mps20241

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 20, 2024

• ci: automerge cascading PRs

  sergej-koscejev

  committed
  e70939d

  Copy full SHA for e70939d

Commits on Jan 18, 2024

• Ignore maintenance/mps3* branches during cascading merge

  sergej-koscejev

  authored
  af5fcfd

  Copy full SHA for af5fcfd

Commits on Jan 4, 2024

• Use reusable automerge workflow

  sergej-koscejev

  committed
  56cdbc5

  Copy full SHA for 56cdbc5

Commits on Nov 13, 2023

• Shorten PR body message

  sergej-koscejev

  committed
  2e40aff

  Copy full SHA for 2e40aff

• Update merge branch with base branch because the PR rules require this

  sergej-koscejev

  committed
  4cd4d29

  Copy full SHA for 4cd4d29

• Rename head_branch to merge_branch

  sergej-koscejev

  committed
  b6e6b41

  Copy full SHA for b6e6b41

Commits on Nov 11, 2023

• Restrict workflow to MPS branches only, ignore old MPS versions

  sergej-koscejev

  committed
  dec03de

  Copy full SHA for dec03de

• Final update after testing on specificlanguages/automerge-sandbox

  sergej-koscejev

  committed
  707c9fe

  Copy full SHA for 707c9fe

Commits on Nov 9, 2023

• Create a PR to merge a maintenance branch into the next one on push

  sergej-koscejev

  committed
  93c7780

  Copy full SHA for 93c7780

Commits on Nov 23, 2022

• Create pull_request_template.md

  alexanderpann

  authored
  ddb5449

  Copy full SHA for ddb5449

Loading