Skip to content
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

Update repo metadata #274

Merged
merged 3 commits into from Apr 11, 2019
Merged

Conversation

lukpueh
Copy link
Member

@lukpueh lukpueh commented Apr 11, 2019

Please fill in the fields below to submit a pull request. The more information
that is provided, the better.

Fixes issue #:

Description of the changes being introduced by the pull request:

Please verify and check that the pull request fulfills the following
requirements
:

  • The code follows the Code Style Guidelines
  • Tests have been added for the bug fix or new feature
  • Docs have been added for the bug fix or new feature

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 79105de on lukpueh:update-repo-metadata into 3122a5c on in-toto:develop.

2 similar comments
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 79105de on lukpueh:update-repo-metadata into 3122a5c on in-toto:develop.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 79105de on lukpueh:update-repo-metadata into 3122a5c on in-toto:develop.

@coveralls
Copy link

coveralls commented Apr 11, 2019

Coverage Status

Coverage remained the same at 100.0% when pulling 4052340 on lukpueh:update-repo-metadata into 3122a5c on in-toto:develop.

@reza-curtmola
Copy link
Contributor

Looks good, shall I merge it?

@lukpueh
Copy link
Member Author

lukpueh commented Apr 11, 2019

Thanks, @reza-curtmola! Please give me a second to quickly glance over the rest of the repo metadata. I might add one or two things to this PR. Will ping you when it's ready.

- Clarify use of CI/CD systems
- Add mention of AppVeyor
- Link to in-toto build site for Travis instead of general
  Travis site.
@reza-curtmola reza-curtmola merged commit cc8e75a into in-toto:develop Apr 11, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants