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