Resolve "doc: use gitpod.io with Froggit.fr"

Closes #59 (closed)

added 1 deleted label

assigned to @cchaudier

added 1 commit

• 69465c81 - feat: init gitpod config

Compare with previous version

added 1 commit

• 95fb30c2 - feat: use JetBrains Mono

Compare with previous version

added 2 commits

• 7e48bab2 - feat: init gitpod config
• 90f4662b - feat: use JetBrains Mono

Compare with previous version

added 1 commit

• 1bc73799 - fix: gitpod base dir

Compare with previous version

marked this merge request as ready

requested review from @arthur.boudreault

Nice addition! Does it mean that we are going to be able to use gitpod w/ Froggit? Or is it just using gitpod for the website https://froggit.fr/ ? Don't we need to pay an account in order to use that service?

approved this merge request

changed title from Resolve "doc: use gitpod.io with Froggit" to Resolve "doc: use gitpod.io with Froggit.fr"

added 1 commit

• 623da097 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• b9dfd681 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

resolved all threads

enabled an automatic merge when the pipeline for b9dfd681 succeeds

merged

mentioned in commit 4b9ff6a9