Skip to content

Update drc.rst#891

Closed
oliv3r wants to merge 24 commits into
INTI-CMNB:masterfrom
oliv3r:patch-1
Closed

Update drc.rst#891
oliv3r wants to merge 24 commits into
INTI-CMNB:masterfrom
oliv3r:patch-1

Conversation

@oliv3r

@oliv3r oliv3r commented Feb 4, 2026

Copy link
Copy Markdown

In KiCAD, DRC stands for Design Rules Check.

set-soft and others added 23 commits November 26, 2025 13:40
No more KiCad 5 releases
Parameters are shared in many cases, so we must detach them from the
hierarchy
- Removed KiCad 5
- Added KiCad 9
To return error when we detected warning

See INTI-CMNB#828
Components with a \ in its value, followed by a space or other symbol
(not a letter)

Closes INTI-CMNB#885
Some bizarre fail (race condition?) in GitHub servers that I can't
reproduce.
Generated by Quick Start
Originally MR INTI-CMNB#890 but needed more details, in particular ZStd
dependency

Closes INTI-CMNB#890
@set-soft

set-soft commented Feb 4, 2026

Copy link
Copy Markdown
Member

Hi @oliv3r !
Thanks for pointing this out, but in order to accept this PR I need you:

  1. Use dev branch as base, master is the current release and changes goes to dev
  2. Make this change to kibot/pre_drc.py and kibot/pre_run_drc.py files, the docs are generated from the comments in the source code. If you don't do it the change will be wiped next time I update the docs.

No code changes where done as part of this commit.

Signed-off-by: Olliver Schinagl <oliver@schinagl.nl>
@oliv3r

oliv3r commented Feb 4, 2026

Copy link
Copy Markdown
Author

@set-soft sure thing! I just can't seem to see the 'edit' button to change the target branch?!

image

I must be going blind? Is this something you can change?
image

https://github.blog/news-insights/product-news/change-the-base-branch-of-a-pull-request/

AI says:
image

so I created a new one :p #892.

@oliv3r oliv3r marked this pull request as draft February 4, 2026 15:03
@oliv3r oliv3r marked this pull request as ready for review February 4, 2026 15:03
@oliv3r

oliv3r commented Feb 4, 2026

Copy link
Copy Markdown
Author

Duplicated by #892.

@oliv3r oliv3r closed this Feb 4, 2026
@set-soft

set-soft commented Feb 4, 2026

Copy link
Copy Markdown
Member

Ok, I merged #892

Usually the best is to do it from the command line:

$ git rebase -i UPSTREAM_HEAD_COMMIT
$ git push -f

@oliv3r oliv3r deleted the patch-1 branch February 5, 2026 19:12
@oliv3r

oliv3r commented Feb 5, 2026

Copy link
Copy Markdown
Author

Ok, I merged #892

Usually the best is to do it from the command line:

$ git rebase -i UPSTREAM_HEAD_COMMIT
$ git push -f

hah, yeah I did; but i could not change the target branch anymore; anyway, its in :D

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants