diff options
| author | tilpner | 2020-06-11 12:55:46 +0200 |
|---|---|---|
| committer | tilpner | 2020-06-11 12:55:46 +0200 |
| commit | 71c121055a03b24e24764a5d701662f894f96ab6 (patch) | |
| tree | 0607f5f521518aafd14edee88cf350cf3c918084 /git@tx0.co:/tilpner/github-label-feed | |
| parent | 7534fddaf7d7fd1edc4bb6a303c8597bf2033b19 (diff) | |
| download | github-label-feed-71c121055a03b24e24764a5d701662f894f96ab6.tar.gz github-label-feed-71c121055a03b24e24764a5d701662f894f96ab6.tar.xz github-label-feed-71c121055a03b24e24764a5d701662f894f96ab6.zip | |
schema: repo should be PK of is_labeled
Diffstat (limited to 'git@tx0.co:/tilpner/github-label-feed')
0 files changed, 0 insertions, 0 deletions