Richard van der Hoff 62cc11eee6 add missing github-labels file		2019-08-30 13:50:00 +01:00
..
documentation_style.rst	It's actually an "identity server implementing the Identity Service API"	2018-08-31 15:35:32 -06:00
github-labels.rst	add missing github-labels file	2019-08-30 13:50:00 +01:00
releasing_a_spec.md	Misc improvements	2019-02-10 18:03:17 -07:00