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

Allow cross references between Darma-tasking repositories #7

Closed
jstrzebonski opened this issue Dec 16, 2020 · 0 comments · Fixed by #8
Closed

Allow cross references between Darma-tasking repositories #7

jstrzebonski opened this issue Dec 16, 2020 · 0 comments · Fixed by #8
Assignees
@jstrzebonski

Comments

@jstrzebonski
Copy link
Contributor

jstrzebonski commented Dec 16, 2020 •
edited
Loading

Needs for DARMA-tasking/template-repository#1 and DARMA-tasking/vt#1177
@jstrzebonski jstrzebonski self-assigned this Dec 16, 2020
jstrzebonski added a commit that referenced this issue Dec 16, 2020
@jstrzebonski
#7: allow cross references between repositories
58d8b53
@jstrzebonski jstrzebonski mentioned this issue Dec 16, 2020
Merged
jstrzebonski pushed a commit that referenced this issue Dec 16, 2020
#7: allow cross references between repositories
0c824af 
Signed-off-by: Jakub Strzebonski <jakub.strzebonski@ng-analytics.com>
jstrzebonski pushed a commit that referenced this issue Dec 16, 2020
#7: allow cross references between repositories
e64899b 
Signed-off-by: Jakub Strzebonski <jakub.strzebonski@ng-analytics.com>
jstrzebonski pushed a commit that referenced this issue Dec 16, 2020
#7: allow cross references between repositories
ff1cc84
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jstrzebonski jstrzebonski

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

#7: allow cross references between repositories DARMA-tasking/check-pr-fixes-issue
1 participant
@jstrzebonski