Code

🤖 Update labels#8

Code

Closed

ErikSchierboom wants to merge 3 commits intomainErikSchierboom/python:mainfrom update-labelsErikSchierboom/python:update-labelsCopy head branch name to clipboard

+299-111

Commits

Commits on Jun 11, 2021

• Define repo-specific labels.

  Show description for f1b3530
  ErikSchierboom

  committed
  f1b3530

  Copy full SHA for f1b3530

• Define the labels used in this repo.

  Show description for db0c8e9
  ErikSchierboom

  committed
  db0c8e9

  Copy full SHA for db0c8e9

• Add a GitHub Actions workflow to automatically sync the repository labels.

  Show description for 543cfdd
  ErikSchierboom

  committed
  543cfdd

  Copy full SHA for 543cfdd