Skip to content
This repository has been archived by the owner on May 11, 2022. It is now read-only.

Deprecate reindex_pid_list #530

Merged
merged 1 commit into from Apr 9, 2019
Merged

Deprecate reindex_pid_list #530

merged 1 commit into from Apr 9, 2019

Conversation

jcoyne
Copy link
Contributor

@jcoyne jcoyne commented Apr 9, 2019

This moved to argo

Fixes #527

Copy link
Contributor

@justinlittman justinlittman left a comment

Choose a reason for hiding this comment

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

Approve pending green.

This moved to argo
@jcoyne jcoyne force-pushed the deprecate-reindex_pid_list branch from 3c9c3c5 to 6e7b0d1 Compare April 9, 2019 15:01
@coveralls
Copy link

coveralls commented Apr 9, 2019

Coverage Status

Coverage increased (+0.002%) to 92.195% when pulling 6e7b0d1 on deprecate-reindex_pid_list into 81b0670 on master.

@jcoyne jcoyne merged commit 8df263d into master Apr 9, 2019
@jcoyne jcoyne deleted the deprecate-reindex_pid_list branch April 9, 2019 15:35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants