Open a pull request and resolve sync problems

App version: 1.0.1iPad · iPhoneContent checked: 2026-09-21Screenshot UI: EnglishPro

What you will do

Propose changes from a pushed branch and identify common synchronization failures.

Before you start

• An active Pro subscription. Third-party AI subscriptions and API credits are separate.
• A working internet connection for the service or download used in this tutorial.
• An existing Git repository. Use the separate tutorial repository for practice.

Download the tutorial workspace

Where to start

Source Control → Create Pull Request

Keep in mind

There is no dedicated merge-conflict editor in this version. Do not discard files or force-push simply to clear an error.

Follow the steps

1. 1Prepare a separate branchPrepare the working branch with a Git tool or a remote terminal, then push it. The current App panel shows the branch but does not offer a branch-creation button.
2. 2Open Create Pull RequestUse the pull-request control when origin points to GitHub. Confirm that the head branch differs from the branch you want to merge into.
3. 3Describe and submit the proposalEnter the title, explanation and base branch. Submit after reviewing the proposed destination.
4. 4Follow the returned GitHub linkOpen the resulting PR to review its changes. If sync is rejected or histories have diverged, resolve the repository with a suitable Git tool or server terminal before retrying.

· Enlarge screenshot

1

See the control up close

PreviousNext

Close

1. Prepare a separate branch — Prepare the working branch with a Git tool or a remote terminal, then push it. The current App panel shows the branch but does not offer a branch-creation button.

1

2. Open Create Pull Request — Use the pull-request control when origin points to GitHub. Confirm that the head branch differs from the branch you want to merge into.

2

3. Describe and submit the proposal — Enter the title, explanation and base branch. Submit after reviewing the proposed destination.

3

4. Follow the returned GitHub link — Open the resulting PR to review its changes. If sync is rejected or histories have diverged, resolve the repository with a suitable Git tool or server terminal before retrying.

Check the result

Open the resulting PR to review its changes. If sync is rejected or histories have diverged, resolve the repository with a suitable Git tool or server terminal before retrying.

If it does not work

• Commit records local history; Push sends commits to the remote. Check which operation failed.
• For rejected pushes, inspect the remote changes and your permissions. Do not use a force push as a routine fix.
• If changes conflict, keep a copy and review the affected files before discarding anything.

Next steps

• Pull and push repository changes
• Type, copy and paste in the terminal

Contact support