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

Add mechanism to specify custom slot start/end times #118

Merged
merged 1 commit into from
May 7, 2024
Merged

Conversation

tidoust
Copy link
Member

@tidoust tidoust commented May 7, 2024

See #100. If the start/end times of a meeting needs to be adjusted for some reason, the actual start/end times may now be specified in the Meeting field using <HH:mm> next to the time that needs to be modified.

For example:

  • 9:00<8:30>
  • 9:00-11:00<10:30>
  • 11:00<11:15> - 13:00<12:45>

Validation will reject problematic custom times:

  • a custom start time that overlaps with a previous slot
  • a custom end time that overlaps with a next slot
  • custom times that do not change anything
  • custom times that make no sense (e.g., because custom start time is later than the custom end time)

The custom start/end times are used in the calendar.

If a group meets during contiguous slots and custom start/end times are set for the inner slots, the custom start/end times are ignored. For example, the custom times are ignored in 9:00; 11:00<11:15> - 13:00<12:45>; 14:00 because this will map to only one calendar entry from 9:00 to 16:00.

See #100. If the start/end times of a meeting needs to be adjusted for some
reason, the actual start/end times may now be specified in the `Meeting` field
using `<HH:mm>` next to the time that needs to be modified.

For example:
- `9:00<8:30>`
- `9:00-11:00<10:30>`
- `11:00<11:15> - 13:00<12:45>`

Validation will reject problematic custom times:
- a custom start time that overlaps with a previous slot
- a custom end time that overlaps with a next slot
- custom times that do not change anything
- custom times that make no sense (e.g., because custom start time is later
than the custom end time)

The custom start/end times are used in the calendar.

If a group meets during contiguous slots and custom start/end times are set
for the inner slots, the custom start/end times are ignored. For example, the
custom times are ignored in `9:00; 11:00<11:15> - 13:00<12:45>; 14:00` because
this will map to only one calendar entry from `9:00` to `16:00`.
@tidoust tidoust merged commit 59b351b into main May 7, 2024
1 check passed
@tidoust tidoust deleted the custom-times branch May 7, 2024 12:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant