Feature/introduce script to create changelog (#401)

* Introduce script to create a changelog

* Add information about version to server version mapping

* Add release process doc

This commit is contained in:

schroda

2023-08-11 17:23:56 +02:00

committed by

GitHub

parent a487e47260

commit a3d36bdb17

8 changed files with 390 additions and 44 deletions

									
										tools/scripts/github_token.template.json
									
		+3
		
												View File
												
				@@ -0,0 +1,3 @@

				{

				  "token": ""

				}