From 69e42a98f76ac3fc3be9f43e7c2e2b7a5be111c7 Mon Sep 17 00:00:00 2001 From: nodiscc Date: Sun, 13 May 2018 01:03:21 +0200 Subject: dangerfile, makefile: add documentation links, intentation fixes --- Dangerfile | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'Dangerfile') diff --git a/Dangerfile b/Dangerfile index 86adae6c..115931df 100644 --- a/Dangerfile +++ b/Dangerfile @@ -1,4 +1,7 @@ -#Check for changes to README.md +# Danger CI configuration file +# https://danger.systems/guides/getting_started.html + +# Check for changes to README.md has_readme_changes = git.modified_files.include?("README.md") # Ensure there is a summary for a pull request @@ -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 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 'Please rebase to get rid of the merge commits in this Pull Request' if git.commits.any? { |c| c.message =~ /^Merge branch 'master'/ } -- cgit v1.2.3