This repository has been archived by the owner on Dec 10, 2019. It is now read-only.

Home

Jump to bottom

Edgar Müller edited this page Aug 16, 2018 · 3 revisions

Welcome to the theia-tree-editor wiki!

Developer documentation

How to create a tag (WIP)

Fix sed command in package.json if necessary
Run npm i && npm run build
Update version in package.json
Run npm run tag, which create a tag and push it as well
git reset --hard HEAD^ to revert changes in .gitignore
Update version in package.json and push

Clone this wiki locally