karlhorky/github-tricks

Issues

• Push to PR trick: Consider switching from token-based commit to GitHub app/bot

  #2 opened 5 months ago by karlhorky
  0