Commit History

Author SHA1 Message Date
  Daniele Bartolini 359c62aacd .github: move pushing to dist script 2 weeks ago
  Daniele Bartolini 80989b84a2 scripts: dist: don't fail if there are no changes 2 weeks ago
  Daniele Bartolini 43e63e3448 scripts: dist: add --noconfirm option 2 weeks ago
  Daniele Bartolini 3604878637 Revert "scripts: dist: use symbolic links" 2 weeks ago
  Daniele Bartolini 7e1ca44bc9 *: update copyright year 1 month ago
  Daniele Bartolini 8916ffbf50 scripts: dist: do not switch to tag 3 months ago
  Daniele Bartolini aba2782627 scripts: dist: read patch number before switching to gh-pages branch 3 months ago
  Daniele Bartolini 23896e5a26 scripts: dist: use symbolic links 3 months ago
  Daniele Bartolini 1377128fa1 scripts: dist: do not fail 3 months ago
  Daniele Bartolini ac72d4d04d scripts: dist: do not update 'latest' docs folder on patches 3 months ago
  Daniele Bartolini 0f471fb8d5 scripts: dist: patches do not deserve their own directory 3 months ago
  Daniele Bartolini 6c795a4c84 scripts: avoid referencing potentially unset $1 3 months ago
  Daniele Bartolini de127b9195 scripts: exit with error on command failure or unset vars 4 months ago
  Daniele Bartolini 4ea9adc433 Revert "scripts: use symbolic link" 5 months ago
  Daniele Bartolini 9881db4a40 scripts: use symbolic link 9 months ago
  Daniele Bartolini c32148be08 *: update copyright year 1 year ago
  Daniele Bartolini ab5575ecb3 *: update copyright year 2 years ago
  Daniele Bartolini 677e4cea6a scripts: add dist utils 3 years ago