Remove Dangerfile
We aren't using Danger anymore (short lived!) so this is just superfluous.
This commit is contained in:
parent
00f10fed06
commit
e5e66264d5
1 changed files with 0 additions and 12 deletions
12
Dangerfile
12
Dangerfile
|
|
@ -1,12 +0,0 @@
|
|||
def changelog_was_not_updated?
|
||||
!git.modified_files.include? "CHANGELOG.md"
|
||||
end
|
||||
|
||||
def complicated?
|
||||
!github.pr_body.include? "#trivial"
|
||||
end
|
||||
|
||||
if changelog_was_not_updated? && complicated?
|
||||
fail "You need to update the changelog. Your pull request will not be merged until this is done."
|
||||
markdown "ProTip: Even if you think something is super simple, it should be in the changelog. Literally the only exception to this rule is if your commit isn't touching code."
|
||||
end
|
||||
Loading…
Add table
Add a link
Reference in a new issue