[Issue 12254] New: Github interaction improvement proposals (via user.js or addins)

d-bugmail at puremagic.com d-bugmail at puremagic.com
Tue Feb 25 08:26:18 PST 2014


https://d.puremagic.com/issues/show_bug.cgi?id=12254

           Summary: Github interaction improvement proposals (via user.js
                    or addins)
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: websites
        AssignedTo: nobody at puremagic.com
        ReportedBy: andrej.mitrovich at gmail.com


--- Comment #0 from Andrej Mitrovic <andrej.mitrovich at gmail.com> 2014-02-25 08:26:14 PST ---
Vladimir Panteleev is working on something to improve our experience with using
Github, since it's really lacking some needed features.

Here we can list our enhancement requests. Some off the top of my head:

- currently you can't filter through pulls assigned to you or to anyone else
for that matter. It only works when you have Issues enabled in a repository (we
don't for D-related projects).

- you can't designate one pull being blocked by another pull (e.g. when a DMD
pull needs a Druntime/Phobos pull being merged first).

- you can't mark a pull as being stalled by something. E.g. maybe it needs more
work to be done, but simply closing it means it can get lost forever.

- you can't mark a pull as already being fully reviewed and ready to merge.
Maybe it just needs a rebase.

- you can't filter through closed pulls where you can tell whether a pull was
closed because it was merged, or it was closed but not merged.

- displaying the current autotester results next to each pull in the pull
request listing page would be good to have, rather than to have to open each
pull to see the current results. You can view a list of pulls in the
autotester, but they don't have a pull title and I hate having to use 2
websites for the same task.

- is a pull request trivial or more elaborate? you can't mark a pull as being
trivial, although you can use naming conventions.

- timers: you sometimes ping the author of a pull request for an update (you
request edits or a rebase), but the author seems to have vanished. You really
want to be notified within some timeframe (say 2 weeks) if the author hasn't
responded yet, so someone else can take over the work and continue with another
new pull request. Otherwise the pull can easily stay stale for an entire year
simply because nobody noticed the author is gone or isn't working on the pull
anymore.

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list