Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Add github workflow to merge feature branches (details)
  2. Do not create a new branch (details)
  3. Remove push (details)
  4. Use checkout action v4 (details)
Commit 63233bad2b3b701f75a328ef71688bee515bdf29 by d.lindner
Add github workflow to merge feature branches
The file was added.github/workflows/merge_branches.yml
Commit 883decedd0de43e0602e3e8a8b189243a70a0558 by j.burel
Do not create a new branch
The file was modified .github/workflows/merge_branches.yml (diff)
The file was modified .github/workflows/merge_branches.yml (diff)
Commit 5b98e538962a8bc3872494a72615c18b6f6bb9c1 by noreply
Use checkout action v4

Co-authored-by: jean-marie burel <j.burel@dundee.ac.uk>
The file was modified .github/workflows/merge_branches.yml (diff)