Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 2, 2024

• Always use the default token for checks

  IvanUkhov

  committedSep 2, 2024
  ce8ac6c

• Fix the PR number

  IvanUkhov

  committedSep 2, 2024
  420e4d0

• Fix the PR number

  IvanUkhov

  committedSep 2, 2024
  98db0e2

• Set GH_TOKEN

  IvanUkhov

  committedSep 2, 2024
  552f309

• Fix a typo

  IvanUkhov

  committedSep 2, 2024
  1c12cab

• Wait for required checks to finish before trying to merge

  IvanUkhov

  committedSep 2, 2024
  f8c75c7

Commits on Apr 29, 2024

• Update actions/cache

  IvanUkhov

  committedApr 29, 2024
  b9bcaee

Commits on Apr 19, 2024

• Rebase instead of merge when fast-forward is not possible

  IvanUkhov

  committedApr 19, 2024
  e93ed6b

Commits on Jan 22, 2024

• Take the description from a file

  IvanUkhov

  committedJan 22, 2024
  26490cd

Commits on Jan 9, 2024

• Rename release to tag

  IvanUkhov

  committedJan 9, 2024
  3df2441

• Update ghaction-import-gpg and github-script

  IvanUkhov

  committedJan 9, 2024
  031f9b8

Commits on Dec 21, 2023

• Add submodules to checkout

  IvanUkhov

  committedDec 21, 2023
  8167886

Commits on Sep 18, 2023

• Update actions/checkout

  IvanUkhov

  committedSep 18, 2023
  fe08b55

Commits on Sep 11, 2023

• Allow one to create draft pull requests

  IvanUkhov

  committedSep 11, 2023
  3e4fa28

• Allow one to specify a title and a description for pull requests

  IvanUkhov

  committedSep 11, 2023
  6456efd

Commits on Sep 1, 2023

• Do not try to save when a cache hit

  IvanUkhov

  committedSep 1, 2023
  33ead1d

Commits on Jun 21, 2023

• Allow the patch and minor to be absent

  IvanUkhov

  committedJun 21, 2023
  daa41ab

Commits on Jun 19, 2023

• Make a cosmetic adjustment

  IvanUkhov

  committedJun 19, 2023
  34da51a

• Make head optional in commit

  IvanUkhov

  committedJun 19, 2023
  a5c0d18

• Add path to merge

  IvanUkhov

  committedJun 19, 2023
  73a9d3e

Commits on Jun 18, 2023

• Add an action for merging pull requests

  IvanUkhov

  committedJun 18, 2023
  3738c23

• Add an action for committing changes and opening pull requests

  IvanUkhov

  committedJun 18, 2023
  a671497

Commits on Jun 9, 2023

• Merge pull request #1 from the-type-founders/bs-remove-key-file

  bramstein

  committedJun 9, 2023
  d9916a7

• Remove .key file after using it.

  bramstein

  committedJun 9, 2023
  5631888

Commits on May 4, 2023

• Add persist-credentials to checkout

  IvanUkhov

  committedMay 4, 2023
  8109143

Commits on May 3, 2023

• Add exclude and include to checkout

  IvanUkhov

  committedMay 3, 2023
  9ad4412

• Unify release with checkout

  IvanUkhov

  committedMay 3, 2023
  4076087

Commits on May 2, 2023

• Add more parameters to the checkout action

  IvanUkhov

  committedMay 2, 2023
  367ff57

Commits on Apr 21, 2023

• Add a release action

  IvanUkhov

  committedApr 21, 2023
  d7d70a7

Commits on Mar 9, 2023

• Initialize the project

  IvanUkhov

  committedMar 9, 2023
  e486882