Skip to content
This repository has been archived by the owner on Jun 26, 2021. It is now read-only.

Codeowners #174

Merged
merged 3 commits into from
Aug 2, 2019
Merged

Codeowners #174

merged 3 commits into from
Aug 2, 2019

Conversation

justusschock
Copy link
Member

@justusschock justusschock commented Jul 31, 2019

Since this Repo becomes more and more complex, a CODEOWNERS makes it easier to request a PR from the correct person (the owner of the code you're working on). The order of the owners is purely alphabetic!

It should be merged after #102

EDIT: since this branch is based on #102 , only the commits starting at f50e7fb are relevant for reviewing

@justusschock justusschock self-assigned this Jul 31, 2019
@justusschock justusschock added the ready for review Things that need to be reviewed label Jul 31, 2019
@justusschock justusschock changed the base branch from master to jax_backend August 2, 2019 12:29
@justusschock justusschock changed the base branch from jax_backend to master August 2, 2019 12:29
@justusschock justusschock merged commit 0e4218f into master Aug 2, 2019
@justusschock justusschock deleted the codeowners branch August 3, 2019 08:23
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
ready for review Things that need to be reviewed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants