Code

Make pre-commit hooks talk to git#851

Code

Merged

VojtechStep merged 20 commits intoUniMath:masterUniMath/agda-unimath:masterfrom fredrik-bakke:pre-commitfredrik-bakke/agda-unimath:pre-commitCopy head branch name to clipboardNov 26, 2023

+110-65

Commits

Commits on Oct 16, 2023

• no_whitespace_after_opening_parenthesis_inside_line

  fredrik-bakke

  committed
  d8f7a40

  Copy full SHA for d8f7a40

• make generate_main_index_file ask git

  fredrik-bakke

  committed
  d7ebce0

  Copy full SHA for d7ebce0

• make generate_namespace_index_modules ask git

  fredrik-bakke

  committed
  0bfcf04

  Copy full SHA for 0bfcf04

• Merge branch 'master' into pre-commit

  fredrik-bakke

  authored
  07079e7

  Copy full SHA for 07079e7

• use generator expressions

  fredrik-bakke

  committed
  e0952b2

  Copy full SHA for e0952b2

• STATUS_FLAG_GIT_ERROR

  fredrik-bakke

  committed
  019bfb8

  Copy full SHA for 019bfb8

• wrong number

  fredrik-bakke

  committed
  0f2ccd0

  Copy full SHA for 0f2ccd0

• improve pattern no_whitespace_after_opening_brace_inside_line

  fredrik-bakke

  committed
  1aab0f6

  Copy full SHA for 1aab0f6

Commits on Nov 24, 2023

• add root as parameter

  fredrik-bakke

  committed
  d4899c7

  Copy full SHA for d4899c7

• Merge branch 'master' into pre-commit

  fredrik-bakke

  authored
  0768120

  Copy full SHA for 0768120

• add remarks about tracked files

  fredrik-bakke

  committed
  94da179

  Copy full SHA for 94da179

• wording

  fredrik-bakke

  committed
  01b1f2c

  Copy full SHA for 01b1f2c

• another wording

  fredrik-bakke

  committed
  8b8a947

  Copy full SHA for 8b8a947

Commits on Nov 26, 2023

• eprint and generators

  fredrik-bakke

  committed
  f5ed0e4

  Copy full SHA for f5ed0e4

• Path fix

  fredrik-bakke

  committed
  e1ebd01

  Copy full SHA for e1ebd01

• doc fixes

  fredrik-bakke

  committed
  6fed171

  Copy full SHA for 6fed171

• link fix

  fredrik-bakke

  committed
  46624d4

  Copy full SHA for 46624d4

• Merge branch 'master' into pre-commit

  fredrik-bakke

  authored
  95ef5dc

  Copy full SHA for 95ef5dc

• a small fix

  fredrik-bakke

  committed
  71b69cd

  Copy full SHA for 71b69cd

• slight alterations to prose

  fredrik-bakke

  committed
  88f9470

  Copy full SHA for 88f9470