Synchronizing and Importing Course Repositories

On the Course Repository screen, you can connect course repositories from GitHub to Exercode, check for differences, and then import them. Since the process after confirming the import runs in the background, the process will continue even if you close the screen.

Target Audience

• Members of course repositories
• Course creators

What You Can Do

• Add course repositories via GitHub App
• Register course repositories you have added to an organization you manage
• Synchronize with the latest state on GitHub
• Check for differences before importing
• Check the execution status of an import
• Open imported courses

How to Open

1. Open Course Repositories from the header.
2. Check the card for the target repository.

Workflow

1. If you want to add a new course repository, use Add from my GitHub.
2. If you want to reflect additions or permission changes made on GitHub, execute Sync with my GitHub.
3. If you want to register a course repository you added to an organization, click Register to organization on the target repository and select the destination organization.
4. Click Import on the target repository.
5. In the confirmation dialog, check the differences in courses, problems, classes, teaching materials, assignments, and files.
6. If there are no issues, confirm the import.
7. After confirming the import, the confirmation dialog will close. While processing, the Import button for the target repository will show a loading indicator.
8. If you keep the screen where you started the import open, a completion notification will appear in the bottom right of the screen when finished. The imported courses within the card will also be updated.

During Import Execution

Imports are executed in the background. Even if you close your browser or navigate to another page during processing, the server-side process will continue.

The Import button will be disabled for repositories currently being processed. You can hover your mouse cursor over the button to see which repository's import is currently running.

If you execute imports for multiple course repositories, the import processes will be executed sequentially. Therefore, you may have to wait for other course repository imports to complete.

Registering to an Organization

Register to organization is displayed for unregistered course repositories that you have added via the GitHub App. You can select an organization where you are an administrator as the registration destination.

Once registered to an organization, the organization's administrators can also view and import the course repository. Additionally, courses imported from a registered repository can be added to organizations and groups.

Points to Check During Difference Review

• If deletions are included, the existing course structure may change.
• Files also include differences in images, PDFs, etc., under assets.
• If there are no changes, re-importing will not update the content.

After Importing

• Imported courses are displayed within the card.
• You can open the course screen directly from the displayed course name.
• If you keep the screen where you started the import open, a notification will appear in the bottom right of the screen upon completion.

Common Failure Points

• The target repository is no longer visible from the GitHub App
• Course IDs or problem IDs are duplicated with those already used in other course repositories
• There are inconsistencies in the course definition references or YAML format

If an error occurs, a dialog containing the failure details will be displayed on the screen where you started the import. If you had closed the screen or are checking later, you can view the details by clicking Show details on the error displayed on the target repository's card.

The error details will show actions to open in GitHub, open in VSCode, or copy a prompt for AI correction. Please check the displayed content and review your GitHub settings or course content.

Related Pages

• Importing Courses
• Adding Courses to Organizations or Groups