NotificationsYou must be signed in to change notification settings
Fork16
Star80

[draft] add file export and github sync#216

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Jump to bottom

Draft

lihebi wants to merge1 commit intomain

base:main

Choose a base branch

fromgh-sync

Draft

[draft] add file export and github sync#216

lihebi wants to merge1 commit intomainfromgh-sync

Conversation

Copy link

Collaborator

lihebi commentedFeb 20, 2023

Introduction

This PR implements file export and GitHub sync. Users can sign in and link their GitHub account on the profile page. Each project can be linked to a specific GitHub repo, and an "export to github" operation will export the project to files and commit to the GitHub repo.

This PR isonly a draft, there're still some details left, e.g., how to maintain the git repo files when we have multiple replicas of the API servers. We'llnot use GitHub sync for now.

Screenshots

link a project to a GitHub repo:

add file export and github sync

5697af3

Copy link

Collaborator

forrestbao commentedFeb 22, 2023

link a project to a GitHub repo:

it would be better if the user can select the Github repo to link to, and the repo may not be under the linked GIthub username but any organization or repo the user is authorized to. See HackMD's menu below where I authorized it to access two repos, under two user/org names.