[gnome-shell-extensions] (18 commits) ...ci: Allow gradual switch to new style

[Florian Müllner <fmuellner src gnome org>]

Summary of changes:

  1d96f83... lint: Import eslint rules from gjs (*)
  75503b5... lint: Tweak the whitelist of globals (*)
  f18b281... lint: Require spaces inside braces in object literals (*)
  8ae8470... lint: Enforce arrow notation (*)
  ff79588... lint: Enforce camelCase (*)
  c8a1cd9... lint: Allow multiple spaces before key values (*)
  c704f0d... lint: Allow single-line braces (*)
  f7cbd0d... lint: Tweak indenting rule (*)
  1141d99... lint: Don't require indent for GObject.registerClass() (*)
  190243e... lint: Add "legacy" configuration (*)
  8511239... lint: Allow marking variables/arguments as unused (*)
  7b363fd... cleanup: Mark unused arguments as unused (*)
  08a04b2... cleanup: Mark unused (but useful) variables as ignored (*)
  2081309... lib: Mark globals used from other modules as exported (*)
  3861ffa... extensions: Mark exported symbols (*)
  c37ba08... ci: Don't use global image/before_script (*)
  945eddb... ci: Add "source_check" stage (*)
  47beeb1... ci: Allow gradual switch to new style (*)

(*) This commit already existed in another branch; no separate mail sent