Skip to content

Commit 1fa4efc

Browse files
committed
Remove @pkesseli to clean up github errors for the codeowner's file.
@pkesseli no longer has write access to the repository (as his access was inherited through his membership to the @diffblue organisation) so now Github is throwing some errors claiming that the CODEOWNERS file is invalid. This is removing Pascal so that the CODEOWNERS file can be free of errors again, but we can reinstate Pascal if he desires to maintain his codeownership through other means.
1 parent d2bbf05 commit 1fa4efc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

CODEOWNERS

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -63,7 +63,7 @@
6363
/src/solvers/smt2 @kroening @martin-cs @peterschrammel @thomasspriggs @NlightNFotis @TGWDB
6464
/src/solvers/smt2_incremental @peterschrammel @thomasspriggs @NlightNFotis @TGWDB @chris-ryder
6565
/src/solvers/Makefile @kroening @tautschnig @peterschrammel @chris-ryder @thomasspriggs @NlightNFotis @TGWDB
66-
/src/statement-list/ @kroening @tautschnig @peterschrammel @pkesseli
66+
/src/statement-list/ @kroening @tautschnig @peterschrammel
6767

6868
/cmake/ @diffblue/diffblue-opensource
6969
CMakeLists.txt @diffblue/diffblue-opensource

0 commit comments

Comments
 (0)