Add debug-github-ci and debug-jenkins-ci skills#76

neubig wants to merge 3 commits intomainOpenHands/extensions:mainfrom

add-ci-debug-skillsOpenHands/extensions:add-ci-debug-skillsCopy head branch name to clipboard