Skip to content

erepo: pull each time#3227

Merged
efiop merged 1 commit into
treeverse:masterfrom
Suor:git-pull
Jan 24, 2020
Merged

erepo: pull each time#3227
efiop merged 1 commit into
treeverse:masterfrom
Suor:git-pull

Conversation

@Suor
Copy link
Copy Markdown
Contributor

@Suor Suor commented Jan 23, 2020

Fixes #3062.

@Suor Suor requested a review from efiop January 24, 2020 08:06
Copy link
Copy Markdown
Contributor

@efiop efiop left a comment

Choose a reason for hiding this comment

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

Thanks!

@efiop efiop merged commit 6718622 into treeverse:master Jan 24, 2020
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.

summon api: caching during interactive sessions

2 participants