Skip to content
This repository has been archived by the owner on May 7, 2024. It is now read-only.

Allow PR_NUMBER to be set externally #76

Merged
merged 1 commit into from
May 10, 2021
Merged

Allow PR_NUMBER to be set externally #76

merged 1 commit into from
May 10, 2021

Commits on May 10, 2021

  1. Configuration menu
    Copy the full SHA
    a97dbf4 View commit details
    Browse the repository at this point in the history