Mike Bernard issues

Repositories
Issues
Comments

Results 3 issues of


                                            Mike Bernard

ability to transfer crew between two command pods

It'd be nice to be able to transfer crew between command pods on the same vessel. I've looked through the docs, but don't see that capability anywhere.

[CI] Pull requests should require at least one second-party approval

Second-party review and approval should be required on all pull requests.

question

proposal

Needs Discussion

`gen` is a reserved keyword in Rust 2024 edition

Since `gen` is a reserved keyword in the Rust 2024 edition, it must be added to the `KEYWORDS` const in `sanitize_keywords`: https://github.com/rust-embedded/svd2rust/blob/master/src/util.rs#L135-L142, otherwise crates build with Rust 2024 will give...