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 deploy.sh #432

Closed
wants to merge 3 commits into from
Closed

Update deploy.sh #432

wants to merge 3 commits into from

Conversation

slavas490
Copy link
Contributor

Pull Request Details

Droplet support #265

loleg and others added 3 commits November 16, 2023 21:14
Server-side Verification of documents #412
fix invalid character, updates in BN lib #413
Installation guide #396
Order of chapters in Handbook #387
Go library updates #427
* Update config.yml

Remove build step to Tag the latest Docker release with current Git version (because during PR merge this tag is not available)

* Added CircleCI shield

* README

* README

* Rename Docker platform to xes-platform

---------

Co-authored-by: Oleg Lavrovsky <[email protected]>
@loleg
Copy link
Contributor

loleg commented Nov 22, 2023

Thanks!

Please PR to preprod and not direct to main.
Also it would be good to roll features like this together, no need for separate PRs for code and docs.

@loleg loleg changed the base branch from main to preprod November 22, 2023 15:28
@loleg loleg mentioned this pull request Nov 24, 2023
@tafonina
Copy link
Contributor

created new PR followed the correct flow dev->preprod->main

@tafonina tafonina closed this Nov 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Development

Successfully merging this pull request may close these issues.

3 participants