Join Slack

Do I need to push only GDS in my local repo or all changes in local repo need to be pushed to git re...

# efabless

Binoy B

07/20/2022, 7:02 AM

Do I need to push only GDS in my local repo or all changes in local repo need to be pushed to git repository?

Matt Venn

07/20/2022, 1:27 PM

the whole project should be reproducible, so your source and all configuration should be pushed

Open in Slack

Previous Next

What is Linen?

Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.