Search results

Report a clear error when git authentication fails

Status: Open.

#144 In ontodev/droid;

· jamesaoverton opened on Mar 15, 2024

Follow Makefile 'include' directives

Status: Open.

#143 In ontodev/droid;

· jamesaoverton opened on Feb 2, 2024

Make it possible to use arbitrary make goals in Makefile header, rendered as buttons

Status: Open.

#142 In ontodev/droid;

· matentzn opened on Feb 2, 2024

Improve logging/messages when DROID is not yet installed as a GitHub App

Status: Open.

#141 In ontodev/droid;

· jamesaoverton opened on Jan 25, 2024

Clarify HTTPS documentation

Status: Open.

#140 In ontodev/droid;

· jamesaoverton opened on Sep 8, 2023

Test running DROID inside Docker, without inner containers

Status: Open.

#139 In ontodev/droid;

· jamesaoverton opened on Jun 19, 2023

Consider running scripts as services rather than CGI

Status: Open.

#125 In ontodev/droid;

· jamesaoverton opened on Aug 20, 2022

Improve permissions for files in workspace directories

Status: Open.

#116 In ontodev/droid;

· jamesaoverton opened on Dec 12, 2021

Handle very large consoles more gracefully

Status: Open.

#112 In ontodev/droid;

· jamesaoverton opened on Sep 23, 2021

Consider using docker build --no-cache .

Status: Open.

#102 In ontodev/droid;

· jamesaoverton opened on Jun 30, 2021

Figure out how to forward GitHUb credentials

Status: Open.

#95 In ontodev/droid;

· jamesaoverton opened on Jan 21, 2021

Consider adding a git action button for merging master into the current branch

Status: Open.

#94 In ontodev/droid;

· jamesaoverton opened on Jan 19, 2021