Skip to content

Issues: ontodev/droid

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

14 Open 92 Closed
14 Open 92 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Report a clear error when git authentication fails
#144 opened Mar 15, 2024 by jamesaoverton
Follow Makefile 'include' directives
#143 opened Feb 2, 2024 by jamesaoverton
@lmcmicu
1
Make it possible to use arbitrary make goals in Makefile header, rendered as buttons
#142 opened Feb 2, 2024 by matentzn
3
Improve logging/messages when DROID is not yet installed as a GitHub App
#141 opened Jan 25, 2024 by jamesaoverton
1
Clarify HTTPS documentation
#140 opened Sep 8, 2023 by jamesaoverton
Test running DROID inside Docker, without inner containers
#139 opened Jun 19, 2023 by jamesaoverton
@lmcmicu
1
Consider running scripts as services rather than CGI
#125 opened Aug 20, 2022 by jamesaoverton
Improve permissions for files in workspace directories
#116 opened Dec 12, 2021 by jamesaoverton
@lmcmicu
2
Handle very large consoles more gracefully
#112 opened Sep 23, 2021 by jamesaoverton
Consider using docker build --no-cache .
#102 opened Jun 30, 2021 by jamesaoverton
6
Figure out how to forward GitHUb credentials
#95 opened Jan 21, 2021 by jamesaoverton
2
Consider adding a git action button for merging master into the current branch
#94 opened Jan 19, 2021 by jamesaoverton
4
Possibly do something about untuitive features of multiple tabs
#72 opened Oct 24, 2020 by lmcmicu
Using different colored buttons in the workflow? enhancement New feature or request
#55 opened Oct 2, 2020 by beckyjackson
ProTip! What’s not been updated in a month: updated:<2024-11-20.