Skip to content
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

Jump to bottom

Add ability to specify git revisions #6

Closed
khilangudka opened this issue Mar 2, 2016 · 0 comments
Closed

Add ability to specify git revisions #6

khilangudka opened this issue Mar 2, 2016 · 0 comments

Comments

@khilangudka
Copy link
Member

Given the nature of this project and things often being broken, it would be really useful to be able to specify git revisions for some of the git repos being used (llvm, clang, cheri-qemu, cheribsd).
arichardson added a commit that referenced this issue Mar 3, 2016
@arichardson
Print a useful error message if the ssh forwarding port isn't free
f4b9ba5 
Should help with #6
arichardson added a commit that referenced this issue Mar 3, 2016
@arichardson
Choose a different SSH forwarding port for every user
f87d46c 
We use UID % 10000 instead of hardcoding 9999 which is less likely to
cause a conflict with other programs

Fixes #6
@pig-pig-yang pig-pig-yang mentioned this issue Nov 29, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@khilangudka