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

Merge subtask_description and subtask_name #204

Merged

Conversation

Virv12
Copy link
Member

@Virv12 Virv12 commented Dec 5, 2023

The concepts of subtask name and subtask description are redundants, so in this PR I merge subtask description into subtask name.

@Virv12 Virv12 force-pushed the merge-subtask-name-description branch from 67b9810 to 5b45d05 Compare December 5, 2023 01:09
@dp1 dp1 self-requested a review December 5, 2023 10:04
@Virv12 Virv12 force-pushed the merge-subtask-name-description branch from 39831ec to cbd2f24 Compare December 5, 2023 11:04
@dp1 dp1 force-pushed the merge-subtask-name-description branch from c1870d0 to 49503f7 Compare December 6, 2023 23:48
@dp1 dp1 merged commit 49e3c06 into olimpiadi-informatica:master Dec 6, 2023
3 checks passed
@Virv12 Virv12 deleted the merge-subtask-name-description branch December 7, 2023 00:26
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.

2 participants