Publish metadata files to GitHub

[vemonet]

Contact: Vincent Emonet

We would like to add options to directly push RDF files to GitHub repositories.

How it will work: After the user login we get an access token, and we can use this token to query GitHub API to add and commit a file in the repository selected by the user

I think it will mainly require to:

• add some UI components in React
• connect with GitHub APIs

Build a component that allow the user to easily select in which repository he wants to push his file, then find out how we can add/commit/push a file from our website to the GitHub repository

1. Check the readme to install and run it https://github.com/MaastrichtU-IDS/projects
2. The react website is in the website folder (so everything about the react website is here) https://github.com/MaastrichtU-IDS/projects/tree/main/website
3. Most code is in src
4. The GitHub login button is in the NavBar https://github.com/MaastrichtU-IDS/projects/blob/main/website/src/NavBar.tsx it just send a query to our "micro-github" service which automatically handle the GitHub login then send us back an access_token
5. The access_token is retrieved in the main page: https://github.com/MaastrichtU-IDS/projects/blob/main/website/src/ProjectsDashboard.tsx#L87

And that's it! We can now:

• use this token to query GitHub API (e.g. request all repository of the logged user, so that we can build a components that allows him to visually choose which repo he wants to upload the file to)
• find a proper way to save this access_token (in the state could work to start, but we will need to find better way to avoid needing to login regularly, maybe using a cookie? But a bit unsafe). And