Parameterize GitHub org and team settings #240
Labels
No labels
automation
backend
bug
contributor experience
data
deployment
documentation
duplicate
good first issue
help wanted
nice to have
notifications
package maintainer
performance
skin
tech debt
user story
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: lix-community/nix-security-tracker#240
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
As a contributor, in my development shell I want to conveniently override application settings, such as the org and teams to sync with.
Currently one can't run the service locally without manually changing the GitHub parameters, or manually create a
USER_SETTINGS_FILE
. There is a way to generate that file programmatically which is accessible to the module.Extract that functionality into a helper script that is available in the devshell and will create the right thing from an untracked directory, e.g.
What does this accomplish that just creating the
USER_SETTINGS_FILE
doesn't?The workflow is now documented in CONTRIBUTING.md and has a bit of helper code in default.nix for the shell