Put jgit pack settings in jgit.config

We were setting these values in gerrit.config but it isn't clear if
these now need to go in jgit.config instead. I've tried to clarify with
upstream maintainers as the documentation is quite confusing. While we
wait for clarification why don't we just set the values in both files to
ensure we are covered.

This converts jgit.config to a jinja2 template so that we can use the
variable number of pack files setting.

Change-Id: I70c1e6b738ed6e9fdb72d86e7cf3fb8cfecf1323

playbooks/roles/gerrit/files/jgit.config

@@ -1,2 +0,0 @@
-[receive]
-	autogc = false

playbooks/roles/gerrit/tasks/main.yaml

@@ -88,8 +88,8 @@
   when: gerrit_replication is defined
 
 - name: Write Gerrit JGit config
-  copy:
-    src: jgit.config
+  template:
+    src: jgit.config.j2
     dest: "{{ gerrit_site_dir }}/etc/jgit.config"
     owner: "{{ gerrit_user_name }}"
     group: "{{ gerrit_user_name }}"

playbooks/roles/gerrit/templates/jgit.config.j2

@@ -0,0 +1,6 @@
+[core]
+	packedGitOpenFiles = {{ gerrit_packed_git_open_files }}
+	packedGitLimit = 400m
+	packedGitWindowSize = 16k
+[receive]
+	autogc = false