work with fork

Stream: new members

[Aleksandar Milchev]

Hi there!
I am still learning to work with Lean and my supervisor gave me the advice to create my own fork as well as create a branch in mathlib. However, I have 498 errors in my fork (https://github.com/amilchew/max_flow_min_cut) max_flow_min_cut.lean file and only 6 in the same file in my branch (https://github.com/leanprover-community/mathlib/tree/max_flow_min_cut). Can I do something to remove the complains about everything? Thank you!

[Eric Wieser]

Well they have different files in them, so this is not surprising: https://github.com/leanprover-community/mathlib/compare/max_flow_min_cut...amilchew:max_flow_min_cut:master

[Dean Young]

``

[Eric Wieser]

gave me the advice to create my own fork as well as create a branch in mathlib

This sounds like bad advice to me. There is very little reason to make a fork of mathlib.

Perhaps the advice was meant as "create a new lean project depending on mathlib", which you can do with leanproject new

[Dean Young]

(deleted)

[Aleksandar Milchev]

Eric Wieser said:

gave me the advice to create my own fork as well as create a branch in mathlib

This sounds like bad advice to me. There is very little reason to make a fork of mathlib.

Perhaps the advice was meant as "create a new lean project depending on mathlib", which you can do with leanproject new

Thank you, that was very useful, I just created a project, dependent or mathlib and everything works now!