Make PRs only if a new commit was made. #18
2 Commits
Author | SHA1 | Date | |
---|---|---|---|
8619177ce0
|
|||
a8fde4cb94
|
Author | SHA1 | Date | |
---|---|---|---|
8619177ce0
|
|||
a8fde4cb94
|