Conversation
These only affect the comments therefore should not change the semantics
|
Thanks for your pull request! It looks like this may be your first contribution to a Google open source project. Before we can look at your pull request, you'll need to sign a Contributor License Agreement (CLA). View this failed invocation of the CLA check for more information. For the most up to date status, view the checks section at the bottom of the pull request. |
|
This pull request has been automatically marked as stale because of lack of recent activity. It may be closed manually after one month of inactivity. Thank you for your contributions. |
|
This pull request has been automatically marked as stale because of lack of recent activity. It may be closed manually after one month of inactivity. Thank you for your contributions. |
jfabi
left a comment
There was a problem hiding this comment.
@tzujenchanmbd, would this pull request require a vote to merge in?
| // When the trip_id corresponds to a non-frequency-based trip, this field | ||
| // should either be omitted or be equal to the value in the GTFS feed. When | ||
| // the trip_id correponds to a frequency-based trip, the start_time must be | ||
| // the trip_id corresponds to a frequency-based trip, the start_time must be |
| message Modification { | ||
| // The stop selector of the first stop_time of the original trip that is to be affected by this modification. | ||
| // Used in conjuction with `end_stop_selector`. | ||
| // Used in conjunction with `end_stop_selector`. |
|
@jfabi Thanks for the reminder! This appears to be an editorial change. Governance context: On July 2025, the updated Based on past practice, I propose proceeding without a vote. If there are no objections, I plan to merge this PR in 7 days. |
These only affect the comments therefore should not change the semantics