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

rinex crate: update to georust infrastructure #105

Merged
merged 5 commits into from
Jul 29, 2023
Merged

rinex crate: update to georust infrastructure #105

merged 5 commits into from
Jul 29, 2023

Conversation

gwbres
Copy link
Collaborator

@gwbres gwbres commented Jul 29, 2023

This library and associated toolkits were integrated into the georust community.

Update all URL and crates io interfacing

This library and associated toolkits were integrated into the georust community.
Update all URL and crates io interfacing

Signed-off-by: Guillaume W. Bres <guillaume.bressaix@gmail.com>
@gwbres
Copy link
Collaborator Author

gwbres commented Jul 29, 2023

@larsnaesbye, @lnicola, @rmanoka

Testing a crates i/o publication, since i will have to publish new features and fixes in a very near future

following up on : georust/geo#1016

…vision evolution

Signed-off-by: Guillaume W. Bres <guillaume.bressaix@gmail.com>
Signed-off-by: Guillaume W. Bres <guillaume.bressaix@gmail.com>
Signed-off-by: Guillaume W. Bres <guillaume.bressaix@gmail.com>
@gwbres
Copy link
Collaborator Author

gwbres commented Jul 29, 2023

Nothing to report, everything went smooth. All URL in official documentation have been updated.

This raised a new issue that needs to be addressed separetly

Also, the ublox-rinex - which is low priority right now, will require its own maintenance issue to be resolved

@gwbres gwbres requested review from larsnaesbye and removed request for larsnaesbye July 29, 2023 11:15
@gwbres gwbres self-assigned this Jul 29, 2023
@gwbres gwbres requested review from larsnaesbye, a team, lnicola and rmanoka July 29, 2023 11:21
Copy link
Member

@lnicola lnicola left a comment

Choose a reason for hiding this comment

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

No strong opinion, but we might also want to update the science category to science::geo.

@gwbres
Copy link
Collaborator Author

gwbres commented Jul 29, 2023

No strong opinion, but we might also want to update the science category to science::geo.

i'd also keep "science" IMO because this tool is not only about geographic data,
also science::geo is not listed in the official list ?

@lnicola
Copy link
Member

lnicola commented Jul 29, 2023

It's here, but fair enough, let's not change it :-).

@gwbres
Copy link
Collaborator Author

gwbres commented Jul 29, 2023

It's here, but fair enough, let's not change it :-).

cool! thanks for pointing that out. They were introduced since last time I checked. I simply stacked this new category

Signed-off-by: Guillaume W. Bres <guillaume.bressaix@gmail.com>
@gwbres gwbres requested review from lnicola and removed request for a team and rmanoka July 29, 2023 11:42
@gwbres gwbres added the documentation Improvements or additions to documentation label Jul 29, 2023
@gwbres gwbres merged commit 610f767 into main Jul 29, 2023
1 check passed
@gwbres gwbres deleted the georust branch July 31, 2023 14:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants