gerrit/tools
David Pursehouse b028938275 Merge branch 'stable-3.1'
* stable-3.1:
  Set version to 3.1.3-SNAPSHOT
  Set version to 3.1.2
  Set version to 3.0.7-SNAPSHOT
  Set version to 3.0.6
  Set version to 2.16.16-SNAPSHOT
  Set version to 2.16.15
  Revert "Revert "Fix handling of interactive/batch users in the QoS filter""
  Separate request context filter from cleanup
  Assert RequestCleanup ran only once
  Test Git/HTTP Servlet when SSH is enabled
  Only add the gr-app.js script at the end of the dom
  Remove preload on gr-app.js
  Fix linter errors under eslint 6.x
  Add example command for how to display note of an external ID
  Add example command for how to find SHA1 of an external ID
  Link global eslint packages to local project
  Revert "Fix handling of interactive/batch users in the QoS filter"
  Log also thread name in the sshd_log
  Log also thread name in the httpd_log

Change-Id: I8fe42761906571234fc401629a16071233212318
2019-12-14 13:15:29 +09:00
..
bzl Merge branch 'stable-3.1' 2019-12-14 13:15:29 +09:00
dev-hooks Add a shared pre-commit to run eslintfix for frontend code changes 2019-12-11 15:25:26 +01:00
eclipse Eclipse: Ignore compilation warnings in modules/jgit 2019-10-18 16:26:23 +09:00
intellij Update documentation of code style settings for IntelliJ 2017-03-02 11:58:36 +01:00
js Update paper-styles to a6c207e6eee3402fd7a6550e6f9c387ca22ec4c4 2019-11-26 10:37:58 +09:00
maven Set version to 3.1.3-SNAPSHOT 2019-12-14 13:12:01 +09:00
polygerrit-updater Converter to Polymer2 classes. 2019-11-15 16:33:44 +00:00
util Don't hardcode bash location 2015-08-26 09:03:24 -06:00
__init__.py Buck: Adjust to unflattened directory structure for python libraries 2013-11-30 20:19:33 +01:00
BUILD Add @FormatMethod to StalenessCheckResult#stale 2019-11-28 07:57:35 +00:00
coverage.sh coverage.sh: Adapt to new source directories and plugins 2019-03-28 15:28:14 +01:00
download_file.py Bazel: Portable way to guess whether root directory is reached 2019-11-03 23:28:55 +01:00
jgit-snapshot-deploy-pom.diff Provide a diff file to make it easier to deploy JGit snapshot 2016-08-31 11:13:47 +09:00
merge_jars.py Python cleanups, round 2: line too long, etc. 2018-05-19 22:48:43 +01:00
nongoogle.bzl Upgrade metrics-core to 4.1.2 2019-12-09 10:59:41 -05:00
remote-bazelrc Document how to use RBE for the gerrit build 2019-05-17 10:44:38 +02:00
setup_gjf.sh Upgrade google-java-format to 1.7 2019-03-13 16:12:42 +09:00
util_test.py Merge branch 'stable-2.15' into stable-2.16 2019-04-23 19:41:20 +09:00
util.py Merge branch 'stable-2.15' into stable-2.16 2019-04-23 19:41:20 +09:00
version.py Remove GWT UI 2018-11-13 15:06:26 -08:00
workspace_status.py Bazel: Special handling for plugins not under git control 2019-11-03 13:27:49 +01:00