Skip to content

Conversation

Zabuzard
Copy link
Member

Overview

Closes #234. This adds a config.json.template file, containing reasonable default values and some placeholders for the configuration file of the bot.

This is a solution to the problem of maintaining the config.json that we all have to use in a transparent way without git-tracking the real config.json and accidentally commiting our real bot tokens when doing changes.

That approach seems to be the most idiomatic way currently used (see for example https://stackoverflow.com/questions/9794931/keep-file-in-a-git-repo-but-dont-track-changes).

This also gets rid of the problems we had with forgetting to maintain the default config in our Wiki (we can now simply refer to this template instead) and it eases the flow for people when rebasing develop when it introduces changes to the config.

@Zabuzard Zabuzard added documentation Improvements or additions to documentation enhancement New feature or request priority: major labels Jan 18, 2022
@Zabuzard Zabuzard requested a review from a team as a code owner January 18, 2022 18:22
@Zabuzard Zabuzard self-assigned this Jan 18, 2022
@Zabuzard Zabuzard requested a review from a team as a code owner January 18, 2022 18:22
@sonarqubecloud
Copy link

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

@Zabuzard Zabuzard enabled auto-merge (rebase) January 19, 2022 07:36
Copy link
Member

@Tais993 Tais993 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks wrapped up to me

cat_burrito.mp4

!

@Zabuzard Zabuzard merged commit e041e4e into develop Jan 20, 2022
@Zabuzard Zabuzard deleted the feature/add_config_template branch January 21, 2022 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request priority: major
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add default config.json to git
3 participants