Issues

• Report a clear error when git authentication fails

  ontodev/droid#144 · Filter by author jamesaoverton opened on Mar 15, 2024

• Follow Makefile 'include' directives

  ontodev/droid#143 · Filter by author jamesaoverton opened on Feb 2, 2024
  1

  

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

  ontodev/droid#142 · Filter by author matentzn opened on Feb 2, 2024
  3

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

  ontodev/droid#141 · Filter by author jamesaoverton opened on Jan 25, 2024
  1

• Clarify HTTPS documentation

  ontodev/droid#140 · Filter by author jamesaoverton opened on Sep 8, 2023

• Test running DROID inside Docker, without inner containers

  ontodev/droid#139 · Filter by author jamesaoverton opened on Jun 19, 2023
  1

  

• Consider running scripts as services rather than CGI

  ontodev/droid#125 · Filter by author jamesaoverton opened on Aug 20, 2022

• Improve permissions for files in workspace directories

  ontodev/droid#116 · Filter by author jamesaoverton opened on Dec 12, 2021
  2

  

• Handle very large consoles more gracefully

  ontodev/droid#112 · Filter by author jamesaoverton opened on Sep 23, 2021

• Consider using docker build --no-cache .

  ontodev/droid#102 · Filter by author jamesaoverton opened on Jun 30, 2021
  6

• Figure out how to forward GitHUb credentials

  ontodev/droid#95 · Filter by author jamesaoverton opened on Jan 21, 2021
  2

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

  ontodev/droid#94 · Filter by author jamesaoverton opened on Jan 19, 2021
  4

• Possibly do something about untuitive features of multiple tabs

  ontodev/droid#72 · Filter by author lmcmicu opened on Oct 24, 2020

• Using different colored buttons in the workflow?

  enhancement
  ontodev/droid#55 · Filter by author beckyjackson opened on Oct 2, 2020