(no commit message)

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 9a5207102616ffb4198d1d4678007140daff62ee..8732eb67e22f7a7f61ac43e7016d309ddf11b586 100644 (file)
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -6,7 +6,9 @@ It is particularly important to bear in mind that we are not just "developing co
 
 It is also important to appreciate and respect that we are funded under NLNet's Privacy and Enhanced Trust Programme <http://nlnet.nl/PET>. Full transparency, readability, documentation, effective team communication and formal mathematical proofs for all code at all levels is therefore paramount.
 
-# Main contact method.
+# Collaboration resources
+
+## Main contact method.
 
 To respect the transparency requirements, conversations need to be public and archived (i.e not skype, not telegram, not discord, and anyone seriously suggesting slack will be thrown to the lions).  Therefore we have a
 mailing list. Everything goes through there. <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev> therefore please do google "mailing list etiquette" and at the very minimum look up and understand the following:
@@ -28,13 +30,13 @@ Also, please do not use the mailing list as an "information or document store".
 
 Or, if it is more appropriate, commit a document (or source code) into the relevant git repository then look up the link in the gitweb source tree browser and post that (in the bugtracker or mailing list) See <http://git.libre-riscv.org>
  
-# Bugtracker
+## Bugtracker
 
 bugzilla. old and highly effective. sign up in the usual way. any problems, ask on the list.
 
 Please do not ask for the project to be transferred to github or other proprietary nonfree service "because it's soooo  convenient", as the lions are getting wind and gout from overfeeding.
 
-# ikiwiki
+## ikiwiki
 
 Runs the main libre-riscv.org site (including this page). effective, stunningly light on resources, and uses a git repository not a database.  That means it can be edited offline.
 
@@ -42,6 +44,18 @@ Usual deal: register an account and you can start editing and contributing strai
 
 Assistance in creating a much better theme greatly appreciated.
 
+## git
+
+we use git. more on this below.  we also use gitolite3 running on a dedicated server.  again, it is extremely effective and low resource utilisation.  reminder: lions are involved if github is mentioned.
+
+gitweb is provided which does a decent job. <http://git.libre-riscv.org>
+
+## server
+
+as an aside: all this is "old school" and run on a single core 512MB VM with only a 20GB HDD allocation. it costs only 8 GBP per month from mythic-beasts and means that the project is in no way dependent on anyone else - not microsoft, not google, not facebook, not amazon.
+
+we tried gitlab. it didn't go well.
+
 # Hardware
 
 RAM is the biggest requirement. Minimum 16GB, the more the better (32 or 64GB starts to reach "acceptable" levels.  Disk space is not hugely critical: 256GB SSD should be more than adequate.  Simulations and FPGA compilations however are where raw processing power is a must.  High end Graphics Cards are nonessential.