Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
K
KincoActuatorIsaacLab
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
kevin
KincoActuatorIsaacLab
Commits
31307cee
Unverified
Commit
31307cee
authored
Nov 13, 2025
by
Alexander Poddubny
Committed by
GitHub
Nov 13, 2025
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Removes unused pipelines (#3990)
# Description Removes unused pipelines for cleaner code
parent
82d1f332
Changes
2
Show whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
0 additions
and
110 deletions
+0
-110
cherry-pick.yml
.github/workflows/cherry-pick.yml
+0
-42
mirror-repository.yml
.github/workflows/mirror-repository.yml
+0
-68
No files found.
.github/workflows/cherry-pick.yml
deleted
100644 → 0
View file @
82d1f332
# Copyright (c) 2022-2025, The Isaac Lab Project Developers (https://github.com/isaac-sim/IsaacLab/blob/main/CONTRIBUTORS.md).
# All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
name
:
Cherry-pick from main to devel
on
:
push
:
branches
:
-
main
jobs
:
cherry-pick
:
runs-on
:
ubuntu-latest
steps
:
-
name
:
Checkout repository
uses
:
actions/checkout@v3
with
:
fetch-depth
:
0
# fetch full history to access other branches
-
name
:
Set up Git config
run
:
|
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
-
name
:
Get latest commit SHA on main
id
:
get_commit
run
:
echo "::set-output name=sha::$(git rev-parse HEAD)"
-
name
:
Checkout devel branch
run
:
git checkout devel
-
name
:
Cherry-pick latest commit from main
run
:
|
git cherry-pick ${{ steps.get_commit.outputs.sha }}
-
name
:
Push changes to devel
env
:
GITHUB_TOKEN
:
${{ secrets.GITHUB_TOKEN }}
run
:
|
git push origin devel
.github/workflows/mirror-repository.yml
deleted
100644 → 0
View file @
82d1f332
# Copyright (c) 2022-2025, The Isaac Lab Project Developers (https://github.com/isaac-sim/IsaacLab/blob/main/CONTRIBUTORS.md).
# All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
name
:
Mirror Repository
on
:
push
:
branches
:
-
main
# Concurrency control to prevent parallel runs
concurrency
:
group
:
mirror-repository-${{ github.ref }}
cancel-in-progress
:
true
permissions
:
contents
:
write
jobs
:
mirror-repository
:
runs-on
:
ubuntu-latest
timeout-minutes
:
30
# Only run on specific repository
if
:
github.repository == 'isaac-sim/IsaacLab'
environment
:
name
:
mirror-production
url
:
https://github.com/${{ vars.TARGET_REPO }}
steps
:
-
name
:
Install Git LFS
run
:
|
curl -s https://packagecloud.io/install/repositories/github/git-lfs/script.deb.sh | sudo bash
sudo apt-get install git-lfs
git lfs install
-
name
:
Checkout Code
uses
:
actions/checkout@v4
with
:
fetch-depth
:
0
lfs
:
true
-
name
:
Configure Git
run
:
|
git config --global user.name "Isaac LAB CI Bot"
git config --global user.email "isaac-lab-ci-bot@nvidia.com"
-
name
:
Set Target Repository URL
run
:
|
echo "TARGET_REPO=${{ vars.TARGET_REPO }}" >> $GITHUB_ENV
echo "TARGET_BRANCH=${{ vars.TARGET_BRANCH || 'main' }}" >> $GITHUB_ENV
-
name
:
Mirror to Target Repository
run
:
|
# Remove existing target remote if it exists
git remote remove target 2>/dev/null || true
# Add target remote with authentication
git remote add target https://${{ secrets.GH_TOKEN }}@github.com/${TARGET_REPO}.git
# Fetch latest from target to avoid conflicts
git fetch target $TARGET_BRANCH 2>/dev/null || true
# Push to target repository and branch (source is always main)
git push --force target main:$TARGET_BRANCH
echo "✅ Successfully mirrored main to ${TARGET_REPO}:$TARGET_BRANCH"
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment