Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Conversation

@omidmogasemi
Copy link
Collaborator

@omidmogasemi omidmogasemi commented Nov 7, 2022

Jep was released with the changes we need ~2 weeks ago. . The Dockerfile changes revert adding git as a Docker installation, since we don't need to manually install from a branch anymore.

@omidmogasemi omidmogasemi marked this pull request as ready for review November 7, 2022 20:38
Copy link
Contributor

@pan3793 pan3793 left a comment

Choose a reason for hiding this comment

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

I tested it works

@omidmogasemi omidmogasemi merged commit 933a5d1 into master Nov 21, 2022
@omidmogasemi omidmogasemi deleted the put-jep-back branch November 21, 2022 16:47
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.

2 participants

Morty Proxy This is a proxified and sanitized view of the page, visit original site.