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

hal: do the second push #2628

Closed
jacquerie opened this issue Aug 15, 2017 · 3 comments
Closed

hal: do the second push #2628

jacquerie opened this issue Aug 15, 2017 · 3 comments
Labels
Type: Feature

Comments

@jacquerie
Copy link
Contributor

jacquerie commented Aug 15, 2017 •
edited

After #2625, #2626, and #2627 are done, do another push to HAL, updating all records that were already sent or creating new ones for those were discarded by HAL because their system became overloaded during the first push.
@jacquerie jacquerie self-assigned this Aug 15, 2017
@jacquerie
Copy link
Contributor Author

CC: @mathieugrives

@jacquerie jacquerie mentioned this issue Aug 15, 2017
Closed
@jacquerie
Copy link
Contributor Author

jacquerie commented Aug 15, 2017 •
edited

It was also requested to change the name of our user from "Inspire INSPIRE" to "Inspire HEP", but this was trivially done, so I didn't open an issue for that.

@jacquerie jacquerie mentioned this issue Aug 15, 2017
Closed
@jacquerie
Copy link
Contributor Author

Second push is done.

@jacquerie jacquerie removed their assignment Sep 29, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Type: Feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jacquerie