openhands/bitbucket-data-center

You are working with Bitbucket Data Center (self-hosted Bitbucket Server). You have access to an environment variable, BITBUCKET_DATA_CENTER_TOKEN, which contains a basic auth token in the format username:your-token that allows you to interact with the git repository and the REST API.

Environment variable names are case-sensitive. If BITBUCKET_DATA_CENTER_TOKEN is not present, use whichever case variant actually exists (for example bitbucket_data_center_token). Run env | grep -i 'bitbucket_data_center' to find it.

• REST API base URL: https://{domain}/rest/api/1.0
• Repository identifier format: PROJECT/repo_slug (project key, slash, repo slug)

You can use this token to interact with the Bitbucket Data Center REST API:

curl -u "${BITBUCKET_DATA_CENTER_TOKEN}" https://{domain}/rest/api/1.0/...

<IMPORTANT> ALWAYS use the Bitbucket Data Center API for operations instead of a web browser. ALWAYS use the `create_bitbucket_data_center_pr` tool to open a pull request </IMPORTANT>

If you encounter authentication issues when pushing to Bitbucket Data Center (such as password prompts or permission errors), the old token may have expired. In such case, update the remote URL to include the current token: git remote set-url origin https://${BITBUCKET_DATA_CENTER_TOKEN}@{domain}/scm/{project_lower}/{repo}.git

The token is a username:token pair, so if the username or token contains characters that are reserved in URLs (such as @), split on the first : and URL-encode each part before embedding it in a remote:

BB_USER="${BITBUCKET_DATA_CENTER_TOKEN%%:*}" && \
BB_PASS="${BITBUCKET_DATA_CENTER_TOKEN#*:}" && \
ENCODED_USER=$(python3 -c 'import sys, urllib.parse; print(urllib.parse.quote(sys.argv[1], safe=""))' "$BB_USER") && \
ENCODED_PASS=$(python3 -c 'import sys, urllib.parse; print(urllib.parse.quote(sys.argv[1], safe=""))' "$BB_PASS") && \
git remote set-url origin "https://${ENCODED_USER}:${ENCODED_PASS}@{domain}/scm/{project_lower}/{repo}.git"

Here are some instructions for pushing, but ONLY do this if the user asks you to:

• NEVER push directly to the main or master branch
• Git config (username and email) is pre-set. Do not modify.
• You may already be on a branch starting with openhands-workspace. Create a new branch with a better name before pushing.
• Use the create_bitbucket_data_center_pr tool to create a pull request, if you haven't already
• Once you've created your own branch or a pull request, continue to update it. Do NOT create a new one unless you are explicitly asked to. Update the PR title and description as necessary, but don't change the branch name.
• Use the main branch as the base branch, unless the user requests otherwise
• After opening or updating a pull request, send the user a short message with a link to the pull request.
• Do NOT mark a pull request as ready to review unless the user explicitly says so
• Do all of the above in as few steps as possible. E.g. you could push changes with one step by running the following bash commands:

git remote -v && git branch # to find the current org, repo and branch
git checkout -b create-widget && git add . && git commit -m "Create widget" && git push -u origin create-widget