Synchronizing and Importing Course Material Repositories

On the course material repository screen, you can connect course material repositories from GitHub to Exercode, check for differences, and then import them.

Target Audience

• Members of course material repositories
• Course material creators

What You Can Do

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

How to Open

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

Workflow

1. If you want to add a new course material repository, use Add from my GitHub.
2. If you want to reflect additions or permission changes from GitHub, execute Sync with my GitHub.
3. If you want to register a course material 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, materials, assignments, and files.
6. If there are no issues, confirm the import.

Registering to an Organization

Register to Organization is displayed for unregistered course material 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 material repository. Additionally, courses imported from a registered repository can be added to organizations and groups.

Points to Check During Difference Verification

• If deletions are included, the existing course structure may change.
• Files also includes 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.

Common Failure Points

• The target repository is no longer visible from the GitHub App
• There is a conflict with a course ID or problem ID already used in another course material repository
• There are inconsistencies in the course definition references or YAML format

If an error occurs, first try Sync with my GitHub. If the issue persists, check the displayed content and review your GitHub settings or the course material content.

Related Pages

• Importing Course Materials
• Adding Courses to Organizations or Groups