Github Settings

This extension generates the .github/settings.yml file used by the Settings App.

Usage

The schema for the configuration file is detailed here. For example:

{
  data = {
    repository = {
      name = "repo-name";
      description = "description of repo";
      homepage = "https://example.github.io/";
      private = false;
    };
    labels = [
      {
        name = "bug";
        color = "CC0000";
        description = "An issue with the system";
      }
      {
        name = "feature";
        color = "#336699";
        description = "New functionality";
      }
    ];
    milestones = [
      {
        title = "milestone-title";
        description = "milestone-description";
        state = "open";
      }
    ];
  };
}

Produces the following .github/settings.yml:

labels:
  - color: CC0000
    description: An issue with the system
    name: bug
  - color: "#336699"
    description: New functionality
    name: feature
milestones:
  - description: milestone-description
    state: open
    title: milestone-title
repository:
  description: description of repo
  homepage: https://example.github.io/
  name: repo-name
  private: false