mirror of
https://github.com/awesome-selfhosted/awesome-selfhosted.git
synced 2024-11-26 10:28:02 +00:00
dangerfile, makefile: add documentation links, intentation fixes
This commit is contained in:
parent
d91a7edc73
commit
69e42a98f7
2 changed files with 6 additions and 3 deletions
|
@ -1,3 +1,6 @@
|
||||||
|
# Danger CI configuration file
|
||||||
|
# https://danger.systems/guides/getting_started.html
|
||||||
|
|
||||||
# Check for changes to README.md
|
# Check for changes to README.md
|
||||||
has_readme_changes = git.modified_files.include?("README.md")
|
has_readme_changes = git.modified_files.include?("README.md")
|
||||||
|
|
||||||
|
@ -8,7 +11,7 @@ fail 'Please provide a summary in the Pull Request description' if github.pr_bod
|
||||||
warn 'Please check PR guidelines and check the boxes.' if github.pr_body.include? '- [ ]'
|
warn 'Please check PR guidelines and check the boxes.' if github.pr_body.include? '- [ ]'
|
||||||
|
|
||||||
# Warn if pull request is not updated
|
# Warn if pull request is not updated
|
||||||
warn 'Please update the Pull Request title to contain the script name' if github.pr_title.include? 'Update README.md'
|
warn 'Please provide a descriptive title for the Pull Request' if github.pr_title.include? 'Update README.md'
|
||||||
|
|
||||||
# Warn when there are merge commits in the diff
|
# Warn when there are merge commits in the diff
|
||||||
warn 'Please rebase to get rid of the merge commits in this Pull Request' if git.commits.any? { |c| c.message =~ /^Merge branch 'master'/ }
|
warn 'Please rebase to get rid of the merge commits in this Pull Request' if git.commits.any? { |c| c.message =~ /^Merge branch 'master'/ }
|
||||||
|
|
Loading…
Reference in a new issue