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.

Sign up for GitHub

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

Jump to bottom

Bring back daml integration kit docs #3292

Merged
merged 5 commits into from
Oct 30, 2019
Merged

Bring back daml integration kit docs #3292

merged 5 commits into from
Oct 30, 2019

Conversation

ghost
Copy link

@ghost ghost commented Oct 30, 2019

This just revives the documentation, without updating it yet.

Pull Request Checklist

  • Read and understand the contribution guidelines
  • Include appropriate tests
  • Set a descriptive title and thorough description
  • Add a reference to the issue this PR will solve, if appropriate
  • Add a line to the release notes, if appropriate
  • Normal production system change, include purpose of change in description

NOTE: CI is not automatically run on non-members pull-requests for security
reasons. The reviewer will have to comment with /AzurePipelines run to
trigger the build.

Bring back daml integration kit docs
8a7caee 
This just revives the documentation, without updating it yet.
@ghost ghost requested review from meiersi-da and mziolekda October 30, 2019 14:20
@ghost ghost requested review from bame-da and nemanja-da as code owners October 30, 2019 14:20
meiersi-da
meiersi-da approved these changes Oct 30, 2019
View reviewed changes
Copy link
Contributor

@meiersi-da meiersi-da left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot @dajmaki . Update release notes. Ready to merge.

@ghost ghost added the automerge label Oct 30, 2019
@mergify mergify bot merged commit 819f8a8 into master Oct 30, 2019
@mergify mergify bot deleted the revive-dlik-docs branch October 30, 2019 17:16
@meiersi-da meiersi-da mentioned this pull request Oct 31, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mziolekda mziolekda Awaiting requested review from mziolekda

@bame-da bame-da Awaiting requested review from bame-da

@nemanja-da nemanja-da Awaiting requested review from nemanja-da

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@meiersi-da