feat: users can have their own Git repo that will be persisted

Their '.git' and '.gitignore' are renamed before the commit/push on the Gitea repo so that they can be staged. After the push they are renamed back to '.git' and '.gitignore'. If a repository already exists, when the code is pulled at the start, the user's git files will also be renamed back.

MR de feat-git-student vers fix-commit-any-challenge-type pour le diff

changed the description

By Pierrick Chebel on 2021-07-27T07:53:35 (imported from GitLab)

changed target branch from master to fix-commit-any-challenge-type

By Pierrick Chebel on 2021-07-27T07:53:35 (imported from GitLab)

assigned to @apuret

By Pierrick Chebel on 2021-07-27T07:56:00 (imported from GitLab)

assigned to @abudzko and unassigned @apuret

By Pierrick Chebel on 2021-08-10T14:36:07 (imported from GitLab)

Reviewed

By Aliaksandr Budzko on 2021-08-10T15:10:21 (imported from GitLab)

assigned to @apuret and unassigned @abudzko

By Aliaksandr Budzko on 2021-08-10T15:10:32 (imported from GitLab)

added 30 commits

• eaa3cc8b - 1 commit from branch fix-commit-any-challenge-type
• 43dee036 - feat: use new theia build
• 52754156 - fix: deadlock extension with bundler
• 8a8ab05c - chores: clean theia resources
• 70b671af - docs: complete with instructions
• 337854b0 - ci: add tag params to image building
• f780b818 - chores: update theia version to deadlock one
• 05fbda7d - fix(ci): before script broken
• c588f230 - feat: add sha commit to vsix plugin builds
• 8579a240 - refactor: build extension and recorder
• 2fab32c0 - fix: recorder building
• 16c8cbfb - fix: wrong config in builded extension and recorder
• 79a8e7e7 - fix: prod config
• b4708de1 - chore: clean cat
• b44b3745 - fix: marked module not include in bundle
• 722b6ab0 - chore: setup default settings, fix briefing loader
• 7621eb7e - chore: enable onStartup for activationEvents
• c475eb37 - feat: add own building of java pack
• ce9726ff - chores: handle config local/prod, better error handling
• 12c9ff23 - fix(ci): add missing curl
• c114dc18 - fix(ci): wrong s parameter for tar
• 9b8f42c4 - chore: clean package lock file
• c4719f2c - ci(debug): sleep
• 5219754c - ci: try to clear npmrc
• ec177883 - ci: try to increase docker dind version
• a3f11eca - feat: run startup script if exists
• 3953bab6 - chore: clean old config
• bcf4d944 - fix: recorder's '.gitignore' is no longer pushed/pulled on the repo
• cf9fe637 - feat: users can have their own Git repo that will be persisted
• 70d89dee - feat: user's git now has preconfigured username/email

Compare with previous version

By Pierrick Chebel on 2022-01-19T11:06:18 (imported from GitLab)

added 1 commit

• e378b361 - feat: user's git now has preconfigured username/email

Compare with previous version

By Pierrick Chebel on 2022-01-21T10:58:24 (imported from GitLab)

changed target branch from fix-commit-any-challenge-type to master

By Pierrick Chebel on 2022-01-21T10:59:41 (imported from GitLab)

changed the description

By Pierrick Chebel on 2022-01-21T11:00:48 (imported from GitLab)

added 3 commits

• 00efc956 - fix: recorder's '.gitignore' is no longer pushed/pulled on the repo
• 20edc803 - feat: users can have their own Git repo that will be persisted
• 0330a696 - feat: user's git now has preconfigured username/email

Compare with previous version

By Pierrick Chebel on 2022-01-21T11:02:47 (imported from GitLab)

il manque du typing pour les arguments de la fonction

By Alexandra on 2022-02-02T10:33:58 (imported from GitLab)

changed this line in version 8 of the diff

By Pierrick Chebel on 2022-02-02T10:53:52 (imported from GitLab)

C'est corrigé, c'est que des string

By Pierrick Chebel on 2022-02-02T10:57:26 (imported from GitLab)

utilise plutôt : https://nodejs.org/api/path.html

By Alexandra on 2022-02-04T08:05:10 (imported from GitLab)

Je n'ai pas changé le type des arguments car l'api path de nodejs utilise des strings

By Pierrick Chebel on 2022-02-07T15:40:46 (imported from GitLab)

oki mais alors ajoute au moins une définition clair pour la méthode rename, parce que avec les strings on peut tomber dans la confusion facilement. Avec un exemple toujours bien.

/**
 * 
 * @param path 
 * @param oldName 
 * @param newName 
 */
function rename(path, oldName, newName) {
}

L'avantage de path est que derrière tu as des méthodes tel que dirname, join etc, de plus faire comme la commande cp où tu prends finalement que deux arguments, dans ton cas tu en as trois.

By Alexandra on 2022-02-07T16:26:21 (imported from GitLab)

Du coup j'ai changé rename(path, oldName, newName) en renameIfExistsSync(srcPath: PathLike, destPath: PathLike) pour reprendre la même structure que copyFolderIfExistsSync et copyFileIfExistsSync parce que je pense que c'est plus clair. Ma fonction rename avant s'assurait que le fichier renommé restait dans le même dossier, sauf que ça peut ne pas être clair vis-à-vis de fs/rename qui est juste un mv, du coup j'ai délégué la responsabilité de faire en sorte que ce soit le même dossier à renameTempToUserGitFiles

J'ai aussi ajouté de la doc en commentaire pour renameTempToUserGitFiles et copyGitUserFiles

By Pierrick Chebel on 2022-02-08T10:57:49 (imported from GitLab)

assigned to @pchebel and unassigned @apuret

By Alexandra on 2022-02-02T10:34:56 (imported from GitLab)

added 3 commits

• a429441c - fix: recorder's '.gitignore' is no longer pushed/pulled on the repo
• 167632f6 - feat: users can have their own Git repo that will be persisted
• 4c028ec0 - feat: user's git now has preconfigured username/email

Compare with previous version

By Pierrick Chebel on 2022-02-02T10:53:53 (imported from GitLab)

assigned to @apuret and unassigned @pchebel

By Pierrick Chebel on 2022-02-02T10:57:45 (imported from GitLab)