Update eclipse-mylyn.jsonnet

[merks]

Archive (make read-only) org.eclipse.mylyn.docs.

[merks]

@akurtakov

Probably this repo should be archived to prevent further changes...

[akurtakov]

I defer this call to people working on merging .

[github-actions]

Diff for 7266210:

Printing local diff for configuration at '/home/runner/work/.eclipsefdn/.eclipsefdn/otterdog-configs/otterdog.json'

Actions are indicated with the following symbols:
+   create
!   modify
!   forced update
-   delete

Organization eclipse-mylyn[id=eclipse-mylyn]
  there have been 1 validation infos, enable verbose output with '-v' to to display them.

  
!   repository[name="org.eclipse.mylyn.docs"] {
!     archived                                                 = false -> true
!   }
  
  Plan: 0 to add, 1 to change, 0 to delete.

Showing diff to a canonical version of the configuration at '/home/runner/work/.eclipsefdn/.eclipsefdn/otterdog-configs/otterdog.json'

Organization eclipse-mylyn[id=eclipse-mylyn]

[merks]

@BeckerFrank

Probably the repo should be read-only now that that is has been merged.

@ruspl-afed

I wonder if there are any other repos that should be archived but have been overlooked as such?

[BeckerFrank]

@BeckerFrank

Probably the repo should be read-only now that that is has been merged.

Yes the repository org.eclipse.mylyn.docs should archived.
What is needed to finish this Pull Request?

@ruspl-afed

I wonder if there are any other repos that should be archived but have been overlooked as such?

@akurtakov : should we also archive the following two Repositories?

• org.eclipse.mylyn.docs.intent.main
• org.eclipse.mylyn.docs.vex

[merks]

This needs to be merged by the foundation staff. They need a project lead to approve of doing that.

So if a project lead adds an approving review that should move the process forward.

[netomi]

if you approve, we can merge that right away and apply the changes.

[merks]

See what I mean? @netomi is awesomely fast and when I do changes like this for my projects he processes it so fast my head spins. Long live otterdog! 🚀

[akurtakov]

@akurtakov : should we also archive the following two Repositories?

* org.eclipse.mylyn.docs.intent.main

* org.eclipse.mylyn.docs.vex

These have been inactive even before I joined as far as I'm aware so I believe they should be archived.

[merks]

Note that the attribute can be removed in the future so it’s not a problem to mark something archived and then change your mind later.

Best to archive other things via a separate PR. I just wanted folks to consider it.

[BeckerFrank]

LGTM

[netomi]

change is live.