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.

Sign up for GitHub

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

Jump to bottom

Select files to be pushed #8

Closed
florian-jaeger opened this issue Nov 21, 2022 · 0 comments
Closed

Select files to be pushed #8

florian-jaeger opened this issue Nov 21, 2022 · 0 comments
Assignees
@mpetojevic
Labels
enhancement New feature or request frontend
Milestone
0.4.1

Comments

@florian-jaeger
Copy link
Contributor

Is your feature request related to a problem? Please describe.
Currently we push all files in our simplified source repository management. We should give instructors the option to only push certain files to enhance the UX.

Describe the solution you'd like
Add a checkbox dialog to the push process to select files.
@florian-jaeger florian-jaeger added enhancement New feature or request frontend labels Apr 5, 2023
@meffmadd meffmadd transferred this issue from TU-Wien-dataLAB/grader-service Jan 16, 2024
mpetojevic added a commit that referenced this issue Feb 19, 2024
@mpetojevic
feature: base structure allowing files to be chosen when commiting so…
7d8e267 
…urce files added.

to fix: all files from source directory are still pushed although correct files are passed to push assigments.

ref: #8 (#8)
@mpetojevic mpetojevic self-assigned this Feb 19, 2024
mpetojevic added a commit that referenced this issue Feb 20, 2024
@mpetojevic
fix: added toggle button when clicking button "chose files to commit"
2c0245f 
ref: #8
mpetojevic added a commit that referenced this issue Feb 20, 2024
@mpetojevic
Furter expaneded the functionality for selecting files to commit.
bd0db2d 
Overwrote methods for extracting relative file paths, so that tey can be used on other
repo types, not only assignments.

to fix: all files from source are still copied to the release repo

ref: #8
@mpetojevic mpetojevic added this to the 0.4.1 milestone Feb 21, 2024
mpetojevic added a commit that referenced this issue Feb 21, 2024
@mpetojevic
fix: pushing only selected fles is now working
fe912a0 
to do: we have to think about how we want to release assignment (assignment-status.tsx),
should it be left as it is -> always pushing all files from source directory
or like pushing files from source where we can choose files to push (other possibility is to take those files
that were selected to push and to push them, if none were previously selected, meaning there were no pushes, than
push everything from source)

ref: #8
mpetojevic added a commit that referenced this issue Feb 28, 2024
@mpetojevic
feat: Added remote status chip to each file in the selection for comm…
c845a4c 
…it file list.

ref: #8
mpetojevic added a commit that referenced this issue Mar 13, 2024
@mpetojevic
fix: Added selection function for files in subdirectories.
3f27347 
ref: #8
mpetojevic added a commit that referenced this issue Mar 13, 2024
@mpetojevic
Git plugin deleted from package.json as not needed.
df16076 
ref: #8
@florian-jaeger florian-jaeger mentioned this issue Mar 19, 2024
Merged
mpetojevic added a commit that referenced this issue Mar 20, 2024
@mpetojevic
fix: Changed Info Alert Title for Selecting files to push.
1427d80 
- Added missing dot to the explanation.

ref: #8, #41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mpetojevic mpetojevic

Labels
enhancement New feature or request frontend
Projects
None yet
Milestone
0.4.1
Development

When branches are created from issues, their pull requests are automatically linked.

8-select-files-to-be-pushed TU-Wien-dataLAB/grader-labextension
2 participants
@florian-jaeger @mpetojevic