mirror of
https://github.com/hedgedoc/hedgedoc.git
synced 2025-04-10 20:38:47 +00:00
* Use different environment per PR Signed-off-by: Erik Michelson <github@erik.michelson.eu> * Fix main deployment by using CI-aware build script Signed-off-by: Erik Michelson <github@erik.michelson.eu> * Use PR title and number in netlify deployment list Signed-off-by: Erik Michelson <github@erik.michelson.eu> * Use exec Signed-off-by: Erik Michelson <github@erik.michelson.eu> |
||
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
workflows | ||
pull_request_template.md |