~gjost

Trackers

~gjost/django-linkpile

Last active 2 months ago

#95 Make it slightly harder to delete repositories 2 months ago

Comment by ~gjost on ~sircmpwn/git.sr.ht:

Fair enough.

#95 Make it slightly harder to delete repositories 2 months ago

Comment by ~gjost on ~sircmpwn/git.sr.ht:

I get the whole UNIX-is-the-Hole-Hawg serious-users-don't-need-to-be-protected-from-themselves aesthetic, which totally works with the brutalist design which I also appreciate. It's true that if you're the only user it's easy to just git-push again, and it's also true that on this service deleting the Git repo doesn't also remove the tickets or other pieces.

But repository deletion is one place where I'd want the confirmation to be a little stronger. If you're running a serious project with a lot of contributors then deleting the repo might be a serious inconvenience. You might have to contact contributors to get various branches back, etc, etc.

#107 Replies to ticket notifications should add comments 2 months ago

Comment by ~gjost on ~sircmpwn/todo.sr.ht:

I was also thinking about how the ticket owner or comment author's email is visible in the "From" field. Certain people might find that disconcerting. Of course, if things going on in mailing lists is a baked-in feature of the system itself that's just the way things are, in which case it would be good to write that up in your explainers so people know what they're signing up for.

#107 Replies to ticket notifications should add comments 2 months ago

Ticket created by ~gjost on ~sircmpwn/todo.sr.ht:

When someone comments on a ticket an email gets sent out to the ticket owner (and presumably other participants in the ticket). In keeping with the "email-driven Git workflow" idea, it would make sense for replies to these emails to show up as comments on the ticket page.

Replies to these emails are addressed directly to the ticket owner, so they don't go back into the system.

#104 Let users edit their comments 2 months ago

Comment by ~gjost on ~sircmpwn/todo.sr.ht:

Ah, I see, comments go out as emails. Kinda impossible to take those back once you've sent them. It's a design decision.

#106 List authored tickets on home page 2 months ago

Ticket created by ~gjost on ~sircmpwn/todo.sr.ht:

Currently the todo "home" page (https://todo.sr.ht/) only lists tickets for the user's own repositories. It would be useful to see links to tickets I've submitted or otherwise interacted with in other projects.

#105 Tracker configuration is visible to non-owners 2 months ago

Ticket created by ~gjost on ~sircmpwn/todo.sr.ht:

This page (https://todo.sr.ht/~sircmpwn/todo.sr.ht) displays a "Configure" link to logged-in but non-owner users; if you click it, the edit form is displayed. There is a small "you can't edit this" message but the Save button is present and clickable (yes I clicked it, in the spirit of collecting data for this bug report). This results in a 403 Forbidden but the form should probably non be live in the first place.

#104 Let users edit their comments 2 months ago

Ticket created by ~gjost on ~sircmpwn/todo.sr.ht:

It would be useful to be able to go back and fix typos in comments. Edited comments should show an "edited" notification to indicate a change was made.

#95 Make it slightly harder to delete repositories 2 months ago

Ticket created by ~gjost on ~sircmpwn/git.sr.ht:

It's currently possible to delete a repository with a single click. There's no confirmation. I know we're all adults here for something like this I'd like at least a confirm dialog or (better yet) something that requires intention like how GitHub forces you to type the name of the repository.

#1 Better paginator 2 months ago

Comment by ~gjost on ~gjost/django-linkpile:

Also think about how somebody using this in their own project might override the paginator if they don't want to use django-bootstrap-paginator or whichever one you end up using.