-
-
Notifications
You must be signed in to change notification settings - Fork 135
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add support for GitHub bot users #251
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Amazing!
Thank you very much!
Just a small comment :)
@@ -0,0 +1,23 @@ | |||
|
|||
public let GitHubBotJSON = """ |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can you please format this JSON
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I have indented it and started the commit (it is running pre-commit hook tests etc.). Hopefully it will be the desired format :) If not let me know!
Documentation is automatically updated by |
Generated by 🚫 Danger Swift against 70a2818 |
Ah brilliant, thanks! :) |
Nice! |
I have added Dependabot to one of my projects, and Danger Swift is failing because the PR was created by a bot user: JosephDuffy/Partial#14, https://travis-ci.com/JosephDuffy/Partial/jobs/211151759.
I used the GitHub API to request the data for the above PR and then used the value of the
user
key to create a test for decoding this type of user.It looks like the documentation should be updated to reflect the new
UserType
case. I have runmake docs
, but it only updates half of the docs, eventually failing in./Scripts/update_docs.rb
with:It would appear that SourceKitten is throwing an error, but I am unable to figure out how to debug/fix this! :(